Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

alt-ergo-free

alt-ergo-free 2.4.3 · pkgs/by-name/al/alt-ergo-free/package.nix
Sign in to watch

Health

Risk
risk 10 low
  • +8 2.4.3 is behind upstream 2.6.4
  • +2 no meta.mainProgram, no versionCheckHook
Version
2.4.3 2.6.4 available
Channels
master 2.4.3 · nixos-unstable 2.4.3 · nixos-26.05 2.4.3 no channel is behind master
Hydra
succeeded 2w 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
CECILL-C
Platforms
25 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/al/alt-ergo-free/package.nix:35
Maintainers
redianthus

Version bumps 0

all open bumps
None open. Upstream has 2.6.4: how to update a package.

Pull requests 1

stdenv: add manual purl matches draft
#530795 by h0nIg · opened 4mo ago · checks pass

Issues 0

None open.