| Commit message (Expand) | Author | Age | Files | Lines |
* | math/{,py-}spot: Update 2.11.5 → 2.11.6 | Yuri Victorovich | 2023-08-02 | 2 | -4/+4 |
* | math/{,py-}spot: Update 2.11.4 → 2.11.5 | Yuri Victorovich | 2023-06-11 | 2 | -6/+5 |
* | math/{,py-}spot: Update 2.11.3 → 2.11.4 | Yuri Victorovich | 2023-02-11 | 2 | -4/+4 |
* | math/{,py-}spot: Update 2.11.2 -> 2.11.3 | Yuri Victorovich | 2022-12-22 | 2 | -4/+4 |
* | math/spot: Fix the last failing test depending on math/hs-syfco | Yuri Victorovich | 2022-10-29 | 1 | -2/+3 |
* | math/{,py-}spot: Update 2.11.1 -> 2.11.2 | Yuri Victorovich | 2022-10-28 | 2 | -6/+9 |
* | math/{,py-}spot: Minor improvements | Yuri Victorovich | 2022-10-10 | 2 | -10/+4 |
* | math/{,py-}spot: Update 2.11 -> 2.11.1 | Yuri Victorovich | 2022-10-10 | 3 | -16/+4 |
* | math/{,py-}spot: Update 2.10.6 -> 2.11 | Yuri Victorovich | 2022-10-09 | 5 | -9/+23 |
* | Remove WWW entries moved into port Makefiles | Stefan Eßer | 2022-09-07 | 1 | -2/+0 |
* | Add WWW entries to port Makefiles | Stefan Eßer | 2022-09-07 | 1 | -0/+1 |
* | math/{,py-}spot: Update 2.10.5 -> 2.10.6 | Yuri Victorovich | 2022-05-20 | 2 | -4/+4 |
* | math/spot: Fix build | Yuri Victorovich | 2022-05-19 | 1 | -2/+0 |
* | math/spot: Fix build failures on 13.0, 12.3 | Yuri Victorovich | 2022-05-08 | 1 | -0/+2 |
* | math/{,py-}spot: Update 2.10.4 -> 2.10.5 | Yuri Victorovich | 2022-05-05 | 2 | -5/+5 |
* | math/{,py-}spot: Update 2.10.3 -> 2.10.4 | Yuri Victorovich | 2022-02-03 | 2 | -4/+4 |
* | math/{,py-}spot: Update 2.10.2 -> 2.10.3 | Yuri Victorovich | 2022-01-16 | 2 | -4/+4 |
* | math/{,py-}spot: Update 2.10.1 -> 2.10.2 | Yuri Victorovich | 2021-12-08 | 2 | -4/+4 |
* | math/{,py-}spot: Update 2.10 -> 2.10.1 | Yuri Victorovich | 2021-11-19 | 2 | -4/+4 |
* | math/{,py-}spot: Update 2.9.8 -> 2.10 | Yuri Victorovich | 2021-11-19 | 3 | -5/+32 |
* | math/{,py-}spot: Update 2.9.7 -> 2.9.8 | Yuri Victorovich | 2021-08-12 | 2 | -4/+4 |
* | math/spot: Update 2.9.6 -> 2.9.7 | Yuri Victorovich | 2021-05-16 | 2 | -5/+9 |
* | One more small cleanup, forgotten yesterday. | Mathieu Arnold | 2021-04-07 | 1 | -1/+0 |
* | Remove # $FreeBSD$ from Makefiles. | Mathieu Arnold | 2021-04-06 | 1 | -1/+0 |
* | math/spot: Update 2.9.5 -> 2.9.6 | Yuri Victorovich | 2021-01-19 | 2 | -4/+4 |
* | math/spot: Update 2.9.4 -> 2.9.5 | Yuri Victorovich | 2020-12-04 | 2 | -4/+4 |
* | math/spot: Update 2.9.3 -> 2.9.4 | Yuri Victorovich | 2020-09-19 | 2 | -4/+4 |
* | math/spot: Update 2.9.2 -> 2.9.3 | Yuri Victorovich | 2020-07-30 | 2 | -4/+4 |
* | math/spot: Update 2.9.1 -> 2.9.2 | Yuri Victorovich | 2020-07-23 | 2 | -4/+4 |
* | math/spot: Update 2.9 -> 2.9.1 | Yuri Victorovich | 2020-07-21 | 2 | -4/+4 |
* | math/spot: Update 2.8.7 -> 2.9 | Yuri Victorovich | 2020-05-01 | 3 | -5/+4 |
* | math/spot: Update 2.8.6 -> 2.8.7 | Yuri Victorovich | 2020-03-16 | 2 | -4/+4 |
* | math/spot: Update 2.8.5 -> 2.8.6 | Yuri Victorovich | 2020-02-20 | 2 | -4/+4 |
* | math/spot: Update 2.8.4 -> 2.8.5 | Yuri Victorovich | 2020-01-05 | 2 | -4/+4 |
* | math/spot: Update 2.8.3 -> 2.8.4 | Yuri Victorovich | 2019-12-10 | 2 | -4/+4 |
* | math/spot: Update 2.8.2 -> 2.8.3 | Yuri Victorovich | 2019-11-10 | 2 | -4/+4 |
* | math/spot: Update 2.8.1 -> 2.8.2 | Yuri Victorovich | 2019-09-28 | 2 | -4/+4 |
* | math/spot: Update 2.7.5 -> 2.8.1 | Yuri Victorovich | 2019-08-03 | 2 | -5/+4 |
* | Bump PORTREVISION for ports depending on the canonical version of GCC | Gerald Pfeifer | 2019-07-26 | 1 | -0/+1 |
* | math/spot: Update 2.7.4 -> 2.7.5 | Yuri Victorovich | 2019-06-07 | 2 | -4/+4 |
* | 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 |