| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/rumur: Update 2019.06.05 -> 2019.06.12 | Yuri Victorovich | 2019-06-13 | 2 | -6/+4 |
| * | math/rumur: Broken on i386 | Yuri Victorovich | 2019-06-09 | 1 | -0/+2 |
| * | math/rumur: Update 2019.06.01 -> 2019.06.05 | Yuri Victorovich | 2019-06-06 | 2 | -5/+5 |
| * | New port: math/rumur: Model checker, a formal verification tool for state mac... | Yuri Victorovich | 2019-06-03 | 4 | -0/+73 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |