aboutsummaryrefslogtreecommitdiff
path: root/math/rumur
Commit message (Expand)AuthorAgeFilesLines
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2024-05-03 22:43:45 +0000