| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/rumur: Update 2019.08.18 -> 2019.09.15 | yuri | 2019-09-22 | 1 | -1/+1 |
| * | math/rumur: Update 2019.07.21 -> 2019.08.18 | yuri | 2019-08-19 | 1 | -2/+1 |
| * | Bump PORTREVISION for ports depending on the canonical version of GCC | gerald | 2019-07-27 | 1 | -0/+1 |
| * | math/rumur: Update 2019.06.30 -> 2019.07.21 | yuri | 2019-07-22 | 1 | -1/+1 |
| * | math/rumur: Update 2019.06.12 -> 2019.06.30 | yuri | 2019-07-05 | 1 | -1/+1 |
| * | math/rumur: Update 2019.06.05 -> 2019.06.12 | yuri | 2019-06-14 | 1 | -3/+1 |
| * | math/rumur: Broken on i386 | yuri | 2019-06-09 | 1 | -0/+2 |
| * | math/rumur: Update 2019.06.01 -> 2019.06.05 | yuri | 2019-06-06 | 1 | -2/+2 |
| * | New port: math/rumur: Model checker, a formal verification tool for state mac... | yuri | 2019-06-03 | 1 | -0/+31 |
 |
index : freebsd-ports-gnome | |
| FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome) |
| aboutsummaryrefslogtreecommitdiffstats |