Maintainer Mode
Sign in with GitHub

alt-ergo

alt-ergo 2.6.3 · pkgs/by-name/al/alt-ergo/package.nix
Sign in to subscribe
Health
Risk
risk 10 low
  • +8 2.6.3 is behind upstream 2.6.4
  • +2 no meta.mainProgram, no versionCheckHook
Version
2.6.3 upstream 2.6.4
Channels
master 2.6.3 · nixos-unstable 2.6.3 · nixos-26.05 2.6.3 no channel is behind master
Hydra
succeeded 8y ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
High-performance theorem prover and SMT solver
Homepage
https://alt-ergo.ocamlpro.com/
License
ocamlpro_nc unfree
Platforms
25 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
bin out
Status
unfree
Position
pkgs/by-name/al/alt-ergo/package.nix:78
Maintainers
thoughtpolice
Version bumps 1all open bumps
alt-ergo: 2.6.3 -> 2.6.4
#560967 by r-ryantm · opened 5w ago
Pull requests 3
alt-ergo: 2.6.3 -> 2.6.4
#560967 by r-ryantm · opened 5w ago
stdenv: add manual purl matches draft
#530795 by h0nIg · opened 4mo ago · checks pass
various: remove superflous pname usage
#516961 by guylamar2006 · opened 5mo ago · checks pass
Issues 0
None open.