aboutsummaryrefslogtreecommitdiff
path: root/math/spot
Commit message (Expand)AuthorAgeFilesLines
* math/spot: Update 2.9.2 -> 2.9.3Yuri Victorovich2020-07-302-4/+4
* math/spot: Update 2.9.1 -> 2.9.2Yuri Victorovich2020-07-232-4/+4
* math/spot: Update 2.9 -> 2.9.1Yuri Victorovich2020-07-212-4/+4
* math/spot: Update 2.8.7 -> 2.9Yuri Victorovich2020-05-013-5/+4
* math/spot: Update 2.8.6 -> 2.8.7Yuri Victorovich2020-03-162-4/+4
* math/spot: Update 2.8.5 -> 2.8.6Yuri Victorovich2020-02-202-4/+4
* math/spot: Update 2.8.4 -> 2.8.5Yuri Victorovich2020-01-052-4/+4
* math/spot: Update 2.8.3 -> 2.8.4Yuri Victorovich2019-12-102-4/+4
* math/spot: Update 2.8.2 -> 2.8.3Yuri Victorovich2019-11-102-4/+4
* math/spot: Update 2.8.1 -> 2.8.2Yuri Victorovich2019-09-282-4/+4
* math/spot: Update 2.7.5 -> 2.8.1Yuri Victorovich2019-08-032-5/+4
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* math/spot: Update 2.7.4 -> 2.7.5Yuri Victorovich2019-06-072-4/+4
* math/spot: Update 2.7.2 -> 2.7.4Yuri Victorovich2019-04-282-4/+4
* math/spot: Update 2.7.1 -> 2.7.2Yuri Victorovich2019-03-212-4/+4
* math/spot: Update 2.7 -> 2.7.1Yuri Victorovich2019-02-222-4/+4
* math/spot: Update 2.6.3 -> 2.7Yuri Victorovich2018-12-123-5/+6
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-0/+1
* Fix build with GCC-based architectures.Mark Linimon2018-10-281-0/+10
* math/spot: Update 2.6.2 -> 2.6.3Yuri Victorovich2018-10-182-4/+4
* math/spot: Update 2.6.1 -> 2.6.2Yuri Victorovich2018-09-302-5/+4
* math/spot: Add USES=charsetfix, remove RM for lib/charset.aliasYuri Victorovich2018-08-101-2/+2
* New port: math/spot: Library for omega automata manipulation and model checkingYuri Victorovich2018-08-044-0/+255