nixsearch
nixsearch / pkg / alt-ergo / 2.5.3

alt-ergo 2.5.3

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

Pin this version

$ devbox add alt-ergo@2.5.3
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit3281bec7174f679eabf584591e75979a258d8c40 
$ nix shell github:NixOS/nixpkgs/3281bec7174f679eabf584591e75979a258d8c40#alt-ergo

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 alt-ergo 3281bec7174f
out
/nix/store/5prpfnw7i1gmw1b2w8021kdxzhsj8pdi-ocaml5.1.1-alt-ergo-2.5.3
aarch64-linux
Linux · arm64		 alt-ergo 3281bec7174f
out
/nix/store/pbd0zrfhzvrk5w24zgkrz70lwgpar1by-ocaml5.1.1-alt-ergo-2.5.3
x86_64-darwin
macOS · x86-64		 alt-ergo 3281bec7174f
out
/nix/store/0xn191i2dmkg46g0dxp3ih1ywhswnnk5-ocaml5.1.1-alt-ergo-2.5.3
x86_64-linux
Linux · x86-64		 alt-ergo 3281bec7174f
out
/nix/store/qakcng9hgxi05gq9ki4vnf0c33854ikx-ocaml5.1.1-alt-ergo-2.5.3
← newer: 2.5.4 all 14 releases older: 2.5.2 →

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