nixsearch / pkg / coqPackages.itauto / 8.16.0
coqPackages.itauto 8.16.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.16.0
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commit96ba1c52e54e74c3197f4d43026b3f3d92e83ff9
$ nix shell github:NixOS/nixpkgs/96ba1c52e54e74c3197f4d43026b3f3d92e83ff9#coqPackages.itauto
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
coqPackages.itauto |
96ba1c52e54e | out/nix/store/jik6qx6vgbzjpnqflxg4cj4q1n6rgvpm-coq8.16-itauto-8.16.0 |
||
aarch64-linuxLinux · arm64 |
coqPackages.itauto |
96ba1c52e54e | out/nix/store/x3sl9g9myqfzsw0rc0bzbsyr79m65cdx-coq8.16-itauto-8.16.0 |
||
x86_64-darwinmacOS · x86-64 |
coqPackages.itauto |
96ba1c52e54e | out/nix/store/05knfvg57q94hlk8pcdzdl7f8jq5nv3d-coq8.16-itauto-8.16.0 |
||
x86_64-linuxLinux · x86-64 |
coqPackages.itauto |
96ba1c52e54e | out/nix/store/gr5ys1m51s5mc523y2k5np2vqhh7jrbq-coq8.16-itauto-8.16.0 |
JSON: /v2/pkg?name=coqPackages.itauto · /v2/resolve?name=coqPackages.itauto&version=8.16.0