alt-ergo 2.6.2
High-performance theorem prover and SMT solver
Linux and macOS
last changed
outputs: bin, out
Pin this version
$ devbox add alt-ergo@2.6.2
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitb63fe7f000adcfa269967eeff72c64cafecbbebe
$ nix shell github:NixOS/nixpkgs/b63fe7f000adcfa269967eeff72c64cafecbbebe#alt-ergo
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
alt-ergo |
b63fe7f000ad | bin/nix/store/9z6ildh8x46jlx7q5rb78wwb7qhbb67y-ocaml5.4.1-alt-ergo-2.6.2-bin out (not default)/nix/store/vig25f1pxxlncv3rc8x5mfj46f3b4qp4-ocaml5.4.1-alt-ergo-2.6.2 |
||
aarch64-linuxLinux · arm64 |
alt-ergo |
b63fe7f000ad | bin/nix/store/bk4sr1nrwci91p7j4f11i9q559yky44q-ocaml5.4.1-alt-ergo-2.6.2-bin out (not default)/nix/store/7xbnbpkbggaqv1xi29pbgmj32iicjslj-ocaml5.4.1-alt-ergo-2.6.2 |
||
x86_64-darwinmacOS · x86-64 |
alt-ergo |
b63fe7f000ad | bin/nix/store/3pqad0309cfy66jq60vn0pv11xgwzzhc-ocaml5.4.1-alt-ergo-2.6.2-bin out (not default)/nix/store/86939ndkli8q0vc6i3n1dlz8w9nypfdk-ocaml5.4.1-alt-ergo-2.6.2 |
||
x86_64-linuxLinux · x86-64 |
alt-ergo |
b63fe7f000ad | bin/nix/store/5hpggmbhqzn7gm63byh7zsgh82pn07vy-ocaml5.4.1-alt-ergo-2.6.2-bin out (not default)/nix/store/np8kj2mpjqi8vgwpd120422ybci2sr6z-ocaml5.4.1-alt-ergo-2.6.2 |
JSON: /v2/pkg?name=alt-ergo · /v2/resolve?name=alt-ergo&version=2.6.2