nixsearch / pkg / haskellPackages.copilot-theorem_4_6_1 / 4.6.1
haskellPackages.copilot-theorem_4_6_1 4.6.1
k-induction for Copilot
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.copilot-theorem_4_6_1@4.6.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitb86751bc4085f48661017fa226dee99fab6c651b
$ nix shell github:NixOS/nixpkgs/b86751bc4085f48661017fa226dee99fab6c651b#haskellPackages.copilot-theorem_4_6_1
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.copilot-theorem_4_6_1 |
b86751bc4085 | out/nix/store/nk6vzkj7h5r3x38mk6mg90pnzp30p95m-copilot-theorem-4.6.1 doc (not default)/nix/store/3skjzzld9llanddqjns6bnc7b446ysfg-copilot-theorem-4.6.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.copilot-theorem_4_6_1 |
b86751bc4085 | out/nix/store/i7i2sza7zhlfbbq080hmhfxv4qiwf4sb-copilot-theorem-4.6.1 doc (not default)/nix/store/dflbry4m01rwq5p2yxcldi3bk0kx3754-copilot-theorem-4.6.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.copilot-theorem_4_6_1 |
b86751bc4085 | out/nix/store/i4lfmrq87ihsnvkg6fi5fc01n7c00332-copilot-theorem-4.6.1 doc (not default)/nix/store/gpgq78yvija1n4i8gdf23wh7j57z500h-copilot-theorem-4.6.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.copilot-theorem_4_6_1 |
b86751bc4085 | out/nix/store/kgfizjyygqk3pf2hch1j9pyb6ysrirl3-copilot-theorem-4.6.1 doc (not default)/nix/store/rix6xaw67mciqd45wavc7mzpm3fsgihm-copilot-theorem-4.6.1-doc |
JSON: /v2/pkg?name=haskellPackages.copilot-theorem_4_6_1 · /v2/resolve?name=haskellPackages.copilot-theorem_4_6_1&version=4.6.1