| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | math/spot: Update 2.7.2 -> 2.7.4 | Yuri Victorovich | 2019-04-28 | 2 | -4/+4 |
| * | math/spot: Update 2.7.1 -> 2.7.2 | Yuri Victorovich | 2019-03-21 | 2 | -4/+4 |
| * | math/spot: Update 2.7 -> 2.7.1 | Yuri Victorovich | 2019-02-22 | 2 | -4/+4 |
| * | math/spot: Update 2.6.3 -> 2.7 | Yuri Victorovich | 2018-12-12 | 3 | -5/+6 |
| * | Bump PORTREVISION for ports depending on the canonical version of GCC | Gerald Pfeifer | 2018-12-12 | 1 | -0/+1 |
| * | Fix build with GCC-based architectures. | Mark Linimon | 2018-10-28 | 1 | -0/+10 |
| * | math/spot: Update 2.6.2 -> 2.6.3 | Yuri Victorovich | 2018-10-18 | 2 | -4/+4 |
| * | math/spot: Update 2.6.1 -> 2.6.2 | Yuri Victorovich | 2018-09-30 | 2 | -5/+4 |
| * | math/spot: Add USES=charsetfix, remove RM for lib/charset.alias | Yuri Victorovich | 2018-08-10 | 1 | -2/+2 |
| * | New port: math/spot: Library for omega automata manipulation and model checking | Yuri Victorovich | 2018-08-04 | 4 | -0/+255 |
 |
index : ports | |
| FreeBSD ports tree |
| aboutsummaryrefslogtreecommitdiff |