aboutsummaryrefslogtreecommitdiff
path: root/math/rumur
Commit message (Expand)AuthorAgeFilesLines
* One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0
* Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-1/+0
* math/rumur: Update 2020.09.06 -> 2020.12.20Yuri Victorovich2020-12-243-4/+5
* math/rumur: Update 2020.07.28 -> 2020.09.06Yuri Victorovich2020-09-142-4/+4
* math/rumur: Update 2020.07.11 -> 2020.07.28Yuri Victorovich2020-07-302-4/+4
* math/rumur: Update 2020.06.20 -> 2020.07.11Yuri Victorovich2020-07-162-4/+4
* math/rumur: Update 2020.05.27 -> 2020.06.20Yuri Victorovich2020-06-232-4/+4
* math/rumur: Update 2020.05.18 -> 2020.05.27Yuri Victorovich2020-05-302-5/+5
* math/rumur: Update 2020.04.26 -> 2020.05.18Yuri Victorovich2020-05-212-4/+4
* math/rumur: Update 2020.04.05 -> 2020.04.26Yuri Victorovich2020-04-292-4/+4
* math/rumur: Update 2020.03.12 -> 2020.04.05Yuri Victorovich2020-04-083-4/+6
* math/rumur: Update 2020.02.17-1 -> 2020.03.12Yuri Victorovich2020-03-133-5/+7
* math/rumur: Update 2020.02.17 -> 2020.02.17-1Yuri Victorovich2020-02-222-5/+5
* math/rumur: Update 2020.01.27-1 -> 2020.02.17Yuri Victorovich2020-02-193-7/+7
* math/rumur: Update 2020.01.11 -> 2020.01.27-1Yuri Victorovich2020-02-092-8/+8
* math/rumur: Update 2020.01.07 -> 2020.01.11Yuri Victorovich2020-01-133-4/+5
* math/rumur: Update 2019.12.22 -> 2020.01.07Yuri Victorovich2020-01-112-4/+4
* math/rumur: Update 2019.11.24 -> 2019.12.22Yuri Victorovich2019-12-242-5/+6
* math/rumur: Update 2019.11.09 -> 2019.11.24Yuri Victorovich2019-11-302-4/+4
* math/rumur: Update 2019.10.27 -> 2019.11.09Yuri Victorovich2019-11-162-4/+4
* math/rumur: Update 2019.09.15 -> 2019.10.27Yuri Victorovich2019-10-292-4/+4
* math/rumur: Update 2019.08.18 -> 2019.09.15Yuri Victorovich2019-09-212-4/+4
* math/rumur: Update 2019.07.21 -> 2019.08.18Yuri Victorovich2019-08-192-5/+4
* Bump PORTREVISION for ports depending on the canonical version of GCCGerald Pfeifer2019-07-261-0/+1
* math/rumur: Update 2019.06.30 -> 2019.07.21Yuri Victorovich2019-07-222-4/+4
* math/rumur: Update 2019.06.12 -> 2019.06.30Yuri Victorovich2019-07-052-4/+4
* math/rumur: Update 2019.06.05 -> 2019.06.12Yuri Victorovich2019-06-132-6/+4
* math/rumur: Broken on i386Yuri Victorovich2019-06-091-0/+2
* math/rumur: Update 2019.06.01 -> 2019.06.05Yuri Victorovich2019-06-062-5/+5
* New port: math/rumur: Model checker, a formal verification tool for state mac...Yuri Victorovich2019-06-034-0/+73