aboutsummaryrefslogtreecommitdiff
path: root/math/spot/Makefile
Commit message (Expand)AuthorAgeFilesLines
* math/spot: Update 2.9.6 -> 2.9.7Yuri Victorovich2021-05-161-2/+6
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/spot: Update 2.9.5 -> 2.9.6Yuri Victorovich2021-01-191-1/+1
* math/spot: Update 2.9.4 -> 2.9.5Yuri Victorovich2020-12-041-1/+1
* math/spot: Update 2.9.3 -> 2.9.4Yuri Victorovich2020-09-191-1/+1
* math/spot: Update 2.9.2 -> 2.9.3Yuri Victorovich2020-07-301-1/+1
* math/spot: Update 2.9.1 -> 2.9.2Yuri Victorovich2020-07-231-1/+1
* math/spot: Update 2.9 -> 2.9.1Yuri Victorovich2020-07-211-1/+1
* math/spot: Update 2.8.7 -> 2.9Yuri Victorovich2020-05-011-1/+1
* math/spot: Update 2.8.6 -> 2.8.7Yuri Victorovich2020-03-161-1/+1
* math/spot: Update 2.8.5 -> 2.8.6Yuri Victorovich2020-02-201-1/+1
* math/spot: Update 2.8.4 -> 2.8.5Yuri Victorovich2020-01-051-1/+1
* math/spot: Update 2.8.3 -> 2.8.4Yuri Victorovich2019-12-101-1/+1
* math/spot: Update 2.8.2 -> 2.8.3Yuri Victorovich2019-11-101-1/+1
* math/spot: Update 2.8.1 -> 2.8.2Yuri Victorovich2019-09-281-1/+1
* math/spot: Update 2.7.5 -> 2.8.1Yuri Victorovich2019-08-031-2/+1
* 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-071-1/+1
* math/spot: Update 2.7.2 -> 2.7.4Yuri Victorovich2019-04-281-1/+1
* math/spot: Update 2.7.1 -> 2.7.2Yuri Victorovich2019-03-211-1/+1
* math/spot: Update 2.7 -> 2.7.1Yuri Victorovich2019-02-221-1/+1
* math/spot: Update 2.6.3 -> 2.7Yuri Victorovich2018-12-121-2/+1
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2018-12-121-0/+1
* math/spot: Update 2.6.2 -> 2.6.3Yuri Victorovich2018-10-181-1/+1
* math/spot: Update 2.6.1 -> 2.6.2Yuri Victorovich2018-09-301-2/+1
* 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-041-0/+28