nixsearch
nixsearch / pkg / alt-ergo / 2.5.4

alt-ergo 2.5.4

High-performance theorem prover and SMT solver
Linux and macOS last changed

Pin this version

$ devbox add alt-ergo@2.5.4
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit111ed8812c10d7dc3017de46cbf509600c93f551 
$ nix shell github:NixOS/nixpkgs/111ed8812c10d7dc3017de46cbf509600c93f551#alt-ergo

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 alt-ergo 111ed8812c10
out
/nix/store/apl7nspk92w3c8h9aw2488w9qpyg69vj-ocaml5.1.1-alt-ergo-2.5.4
aarch64-linux
Linux · arm64		 alt-ergo 111ed8812c10
out
/nix/store/kskgxa5mkfkl7ihpzyl1lwspss5cyj9j-ocaml5.1.1-alt-ergo-2.5.4
x86_64-darwin
macOS · x86-64		 alt-ergo 111ed8812c10
out
/nix/store/xpmwnj13938q5qnvsplklr3vdpwaicw7-ocaml5.1.1-alt-ergo-2.5.4
x86_64-linux
Linux · x86-64		 alt-ergo 111ed8812c10
out
/nix/store/3kh38rpsbp8kj50sfcb2f42imlaabkdz-ocaml5.1.1-alt-ergo-2.5.4
← newer: 2.6.0 all 14 releases older: 2.5.3 →

JSON: /v2/pkg?name=alt-ergo · /v2/resolve?name=alt-ergo&version=2.5.4