BSD Portsspot in 4 systems
Library for omega automata manipulation and model checking
spot is packaged for FreeBSD, NetBSD, HardenedBSD and GhostBSD. The newest version among them is 2.16.1, as upstream numbers it: the revision each tree adds (_1 and ,1 in FreeBSD's family, p0 in OpenBSD, nb2 in pkgsrc) is left out when versions are compared.
| System | Port | Version | Vulnerabilities | Status | Maintainer | Last update |
|---|---|---|---|---|---|---|
| FreeBSD | math/spot | 2.16.1 newest | none known | - | [email protected] | 2026-10-24 |
| NetBSD | wip/spot | 2.7.1 behind since 2026-08-06 | none known | - | [email protected] | - |
| HardenedBSD | math/spot | 2.16 behind since 2026-10-24 | no data | - | [email protected] | - |
| GhostBSD | math/spot | 2.16 behind since 2026-10-24 | no data | - | [email protected] | - |
“No data” means the system has no list of vulnerabilities per port that this site reads (OpenBSD and MidnightBSD), not that the port has none. A status is what the port's Makefile declares (DEPRECATED, BROKEN, EXPIRATION_DATE), read in the trees whose Makefiles this site reads: FreeBSD's and MidnightBSD's. A row without a link is a derivative's port that is FreeBSD's, listed on FreeBSD's page.