| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/spot: Update 2.7.2 -> 2.7.4 | yuri | 2019-04-28 | 2 | -4/+4 |
| * | math/spot: Update 2.7.1 -> 2.7.2 | yuri | 2019-03-21 | 2 | -4/+4 |
| * | math/spot: Update 2.7 -> 2.7.1 | yuri | 2019-02-22 | 2 | -4/+4 |
| * | math/spot: Update 2.6.3 -> 2.7 | yuri | 2018-12-13 | 3 | -5/+6 |
| * | Bump PORTREVISION for ports depending on the canonical version of GCC | gerald | 2018-12-12 | 1 | -0/+1 |
| * | Fix build with GCC-based architectures. | linimon | 2018-10-28 | 1 | -0/+10 |
| * | math/spot: Update 2.6.2 -> 2.6.3 | yuri | 2018-10-19 | 2 | -4/+4 |
| * | math/spot: Update 2.6.1 -> 2.6.2 | yuri | 2018-09-30 | 2 | -5/+4 |
| * | math/spot: Add USES=charsetfix, remove RM for lib/charset.alias | yuri | 2018-08-11 | 1 | -2/+2 |
| * | New port: math/spot: Library for omega automata manipulation and model checking | yuri | 2018-08-05 | 4 | -0/+255 |
 |
index : freebsd-ports-gnome | |
| FreeBSD GNOME current development ports (https://github.com/freebsd/freebsd-ports-gnome) |
| aboutsummaryrefslogtreecommitdiffstats |