aboutsummaryrefslogtreecommitdiff
path: root/math/spot
Commit message (Expand)AuthorAgeFilesLines
* math/{,py-}spot: Update 2.10.5 -> 2.10.6Yuri Victorovich2022-05-202-4/+4
* math/spot: Fix buildYuri Victorovich2022-05-191-2/+0
* math/spot: Fix build failures on 13.0, 12.3Yuri Victorovich2022-05-081-0/+2
* math/{,py-}spot: Update 2.10.4 -> 2.10.5Yuri Victorovich2022-05-052-5/+5
* math/{,py-}spot: Update 2.10.3 -> 2.10.4Yuri Victorovich2022-02-032-4/+4
* math/{,py-}spot: Update 2.10.2 -> 2.10.3Yuri Victorovich2022-01-162-4/+4
* math/{,py-}spot: Update 2.10.1 -> 2.10.2Yuri Victorovich2021-12-082-4/+4
* math/{,py-}spot: Update 2.10 -> 2.10.1Yuri Victorovich2021-11-192-4/+4
* math/{,py-}spot: Update 2.9.8 -> 2.10Yuri Victorovich2021-11-193-5/+32
* math/{,py-}spot: Update 2.9.7 -> 2.9.8Yuri Victorovich2021-08-122-4/+4
* math/spot: Update 2.9.6 -> 2.9.7Yuri Victorovich2021-05-162-5/+9
* 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-192-4/+4
* math/spot: Update 2.9.4 -> 2.9.5Yuri Victorovich2020-12-042-4/+4
* math/spot: Update 2.9.3 -> 2.9.4Yuri Victorovich2020-09-192-4/+4
* 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