alt-ergo 2.6.1
High-performance theorem prover and SMT solver
Linux and macOS
last changed
outputs: bin, out
Pin this version
$ devbox add alt-ergo@2.6.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commiteaeed9530c76ce5f1d2d8232e08bec5e26f18ec1
$ nix shell github:NixOS/nixpkgs/eaeed9530c76ce5f1d2d8232e08bec5e26f18ec1#alt-ergo
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
alt-ergo |
eaeed9530c76 | bin/nix/store/0gyj3kiyjfdzz2rivy3qyx7bwsvn2bfd-ocaml5.3.0-alt-ergo-2.6.1-bin out (not default)/nix/store/vq7kgb6h544cl8j1p6ifqqxy5qcns4lw-ocaml5.3.0-alt-ergo-2.6.1 |
||
aarch64-linuxLinux · arm64 |
alt-ergo |
eaeed9530c76 | bin/nix/store/qr6wxv52rq1sghdrbs1srpzdflp8xsjq-ocaml5.3.0-alt-ergo-2.6.1-bin out (not default)/nix/store/fgvmaaqxj46pidn8i9c39l9wgfs47ylr-ocaml5.3.0-alt-ergo-2.6.1 |
||
x86_64-darwinmacOS · x86-64 |
alt-ergo |
eaeed9530c76 | bin/nix/store/fl132j8539wywz15y5da9wwsp9y8b6jr-ocaml5.3.0-alt-ergo-2.6.1-bin out (not default)/nix/store/2gc2fncrd0mglda3c5kqi2xy7lm76dgz-ocaml5.3.0-alt-ergo-2.6.1 |
||
x86_64-linuxLinux · x86-64 |
alt-ergo |
eaeed9530c76 | bin/nix/store/6d64npa8fw6ib26v5zjw3gblbn5r8ccg-ocaml5.3.0-alt-ergo-2.6.1-bin out (not default)/nix/store/a675i5sgj9mkg73pdmx28isbvsd5pn5a-ocaml5.3.0-alt-ergo-2.6.1 |
JSON: /v2/pkg?name=alt-ergo · /v2/resolve?name=alt-ergo&version=2.6.1