nixsearch
nixsearch / pkg / alt-ergo / 2.4.0

alt-ergo 2.4.0

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

Pin this version

$ devbox add alt-ergo@2.4.0
systemsaarch64-darwin commitee084c02040e864eeeb4cf4f8538d92f7c675671 
$ nix shell github:NixOS/nixpkgs/ee084c02040e864eeeb4cf4f8538d92f7c675671#alt-ergo
systemsx86_64-darwin, x86_64-linux commitb5182c214fac1e6db9f28ed8a7cfc2d0c255c763 
$ nix shell github:NixOS/nixpkgs/b5182c214fac1e6db9f28ed8a7cfc2d0c255c763#alt-ergo

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 alt-ergo ee084c02040e
x86_64-darwin
macOS · x86-64		 alt-ergo b5182c214fac
x86_64-linux
Linux · x86-64		 alt-ergo b5182c214fac
← newer: 2.4.1 all 14 releases older: 2.3.3 →

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