aboutsummaryrefslogtreecommitdiff
path: root/math/spot/distinfo
Commit message (Expand)AuthorAgeFilesLines
* math/spot: Update 2.9.5 -> 2.9.6Yuri Victorovich2021-01-191-3/+3
* math/spot: Update 2.9.4 -> 2.9.5Yuri Victorovich2020-12-041-3/+3
* math/spot: Update 2.9.3 -> 2.9.4Yuri Victorovich2020-09-191-3/+3
* math/spot: Update 2.9.2 -> 2.9.3Yuri Victorovich2020-07-301-3/+3
* math/spot: Update 2.9.1 -> 2.9.2Yuri Victorovich2020-07-231-3/+3
* math/spot: Update 2.9 -> 2.9.1Yuri Victorovich2020-07-211-3/+3
* math/spot: Update 2.8.7 -> 2.9Yuri Victorovich2020-05-011-3/+3
* math/spot: Update 2.8.6 -> 2.8.7Yuri Victorovich2020-03-161-3/+3
* math/spot: Update 2.8.5 -> 2.8.6Yuri Victorovich2020-02-201-3/+3
* math/spot: Update 2.8.4 -> 2.8.5Yuri Victorovich2020-01-051-3/+3
* math/spot: Update 2.8.3 -> 2.8.4Yuri Victorovich2019-12-101-3/+3
* math/spot: Update 2.8.2 -> 2.8.3Yuri Victorovich2019-11-101-3/+3
* math/spot: Update 2.8.1 -> 2.8.2Yuri Victorovich2019-09-281-3/+3
* math/spot: Update 2.7.5 -> 2.8.1Yuri Victorovich2019-08-031-3/+3
* math/spot: Update 2.7.4 -> 2.7.5Yuri Victorovich2019-06-071-3/+3
* math/spot: Update 2.7.2 -> 2.7.4Yuri Victorovich2019-04-281-3/+3
* math/spot: Update 2.7.1 -> 2.7.2Yuri Victorovich2019-03-211-3/+3
* math/spot: Update 2.7 -> 2.7.1Yuri Victorovich2019-02-221-3/+3
* math/spot: Update 2.6.3 -> 2.7Yuri Victorovich2018-12-121-3/+3
* math/spot: Update 2.6.2 -> 2.6.3Yuri Victorovich2018-10-181-3/+3
* math/spot: Update 2.6.1 -> 2.6.2Yuri Victorovich2018-09-301-3/+3
* New port: math/spot: Library for omega automata manipulation and model checkingYuri Victorovich2018-08-041-0/+3