nixsearch / pkg / coqPackages.itauto / 8.18.0
coqPackages.itauto 8.18.0
Reflexive SAT solver parameterised by a leaf tactic and Nelson-Oppen support
Linux and macOS
last changed
Pin this version
$ devbox add coqPackages.itauto@8.18.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commita9040b7bf8adcd322493722106dd603eb87694ea
$ nix shell github:NixOS/nixpkgs/a9040b7bf8adcd322493722106dd603eb87694ea#coqPackages.itauto
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.itauto |
a9040b7bf8ad | out/nix/store/ycb1qivs29kgzkfgpg8461y5mdf9a7i5-coq8.18-itauto-8.18.0 |
||
aarch64-linuxLinux · arm64 |
coqPackages.itauto |
a9040b7bf8ad | out/nix/store/h95hbmz38vvdi7gn2hm9sy95372w9bh3-coq8.18-itauto-8.18.0 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.itauto |
a9040b7bf8ad | out/nix/store/kj89bsllnbqmh975hcc9mqpcy19mcvd0-coq8.18-itauto-8.18.0 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.itauto |
a9040b7bf8ad | out/nix/store/73hmwhil9jxizjhz16dbsdirp46v77l0-coq8.18-itauto-8.18.0 |
JSON: /v2/pkg?name=coqPackages.itauto · /v2/resolve?name=coqPackages.itauto&version=8.18.0