BSD Portsalt-ergo in 4 systems
Automatic solver of mathematical formulas for program verification
alt-ergo is packaged for FreeBSD, NetBSD, DragonFly and GhostBSD. The newest version among them is 2.5.4, 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/alt-ergo | 2.5.4_2 newest | none known | - | [email protected] | - |
| NetBSD | wip/alt-ergo | 1.01 | none known | - | [email protected] | - |
| DragonFly | math/alt-ergo | 2.5.4_2 newest | none known | - | [email protected] | - |
| GhostBSD | math/alt-ergo | 2.5.4_2 newest | 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.