aboutsummaryrefslogtreecommitdiffstats
path: root/math/spot
Commit message (Expand)AuthorAgeFilesLines
* math/spot: Update 2.8.2 -> 2.8.3yuri2019-11-102-4/+4
* math/spot: Update 2.8.1 -> 2.8.2yuri2019-09-282-4/+4
* math/spot: Update 2.7.5 -> 2.8.1yuri2019-08-042-5/+4
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2019-07-271-0/+1
* math/spot: Update 2.7.4 -> 2.7.5yuri2019-06-072-4/+4
* math/spot: Update 2.7.2 -> 2.7.4yuri2019-04-282-4/+4
* math/spot: Update 2.7.1 -> 2.7.2yuri2019-03-212-4/+4
* math/spot: Update 2.7 -> 2.7.1yuri2019-02-222-4/+4
* math/spot: Update 2.6.3 -> 2.7yuri2018-12-133-5/+6
* Bump PORTREVISION for ports depending on the canonical version of GCCgerald2018-12-121-0/+1
* Fix build with GCC-based architectures.linimon2018-10-281-0/+10
* math/spot: Update 2.6.2 -> 2.6.3yuri2018-10-192-4/+4
* math/spot: Update 2.6.1 -> 2.6.2yuri2018-09-302-5/+4
* math/spot: Add USES=charsetfix, remove RM for lib/charset.aliasyuri2018-08-111-2/+2
* New port: math/spot: Library for omega automata manipulation and model checkingyuri2018-08-054-0/+255
generated by cgit (git 2.34.1) at 2024-11-16 21:33:51 +0800