alt-ergo 2.6.0
High-performance theorem prover and SMT solver
Linux and macOS
last changed
outputs: bin, out
Pin this version
$ devbox add alt-ergo@2.6.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitebe4301cbd8f81c4f8d3244b3632338bbeb6d49c
$ nix shell github:NixOS/nixpkgs/ebe4301cbd8f81c4f8d3244b3632338bbeb6d49c#alt-ergo
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
alt-ergo |
ebe4301cbd8f | bin/nix/store/mphkddag53da9wmd042fpw6q582lypz8-ocaml5.2.1-alt-ergo-2.6.0-bin out (not default)/nix/store/8pdzp5n922rzlds9pnqnxxj1i3l7gwn0-ocaml5.2.1-alt-ergo-2.6.0 |
||
aarch64-linuxLinux · arm64 |
alt-ergo |
ebe4301cbd8f | bin/nix/store/myb8abyll3kwar2q6fs8ngd1srg6qxlz-ocaml5.2.1-alt-ergo-2.6.0-bin out (not default)/nix/store/wxbi520j2rhq9gv841a59hpn2d416s4z-ocaml5.2.1-alt-ergo-2.6.0 |
||
x86_64-darwinmacOS · x86-64 |
alt-ergo |
ebe4301cbd8f | bin/nix/store/y93gpvlk2017f20qgdx7d4bkn68d7sz4-ocaml5.2.1-alt-ergo-2.6.0-bin out (not default)/nix/store/x8qzh09k4mc6lkkan4v0mg3jk0qrn3dm-ocaml5.2.1-alt-ergo-2.6.0 |
||
x86_64-linuxLinux · x86-64 |
alt-ergo |
ebe4301cbd8f | bin/nix/store/9cqh0c332h2yazhcqmk88j3n1kajdxij-ocaml5.2.1-alt-ergo-2.6.0-bin out (not default)/nix/store/zypghbs24bxcdjhgyswb6whnfnxqjm4k-ocaml5.2.1-alt-ergo-2.6.0 |
JSON: /v2/pkg?name=alt-ergo · /v2/resolve?name=alt-ergo&version=2.6.0