nixsearch / pkg / haskellPackages.copilot-theorem / 4.1
haskellPackages.copilot-theorem 4.1
k-induction for Copilot
Linux and macOS
last changed
outputs: out, doc
Pin this version
$ devbox add haskellPackages.copilot-theorem@4.1
systems
aarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux
commitf4b140d5b253f5e2a1ff4e5506edbf8267724bde
$ nix shell github:NixOS/nixpkgs/f4b140d5b253f5e2a1ff4e5506edbf8267724bde#haskellPackages.copilot-theorem
Per system
| System | Attribute | Commit | Date | Outputs | Flags |
|---|---|---|---|---|---|
aarch64-darwinmacOS · arm64 |
haskellPackages.copilot-theorem |
f4b140d5b253 | out/nix/store/kpw41ajrdp3kr3k9pjzq1vjbg68kwgr3-copilot-theorem-4.1 doc (not default)/nix/store/svdc6svbdgcb7fa8bqmlkg4wk37bqchm-copilot-theorem-4.1-doc |
||
aarch64-linuxLinux · arm64 |
haskellPackages.copilot-theorem |
f4b140d5b253 | out/nix/store/if9wrk5xqi4zih18p85w2jx5638zm5g0-copilot-theorem-4.1 doc (not default)/nix/store/lsngnga9cnqws7bw2fz6fvixss4csfhz-copilot-theorem-4.1-doc |
||
x86_64-darwinmacOS · x86-64 |
haskellPackages.copilot-theorem |
f4b140d5b253 | out/nix/store/l8199qyf7njd3x5y1vzvjd34p7w8b5fm-copilot-theorem-4.1 doc (not default)/nix/store/q1xaq6yy3d332ljmw0qz69jifillk8c9-copilot-theorem-4.1-doc |
||
x86_64-linuxLinux · x86-64 |
haskellPackages.copilot-theorem |
f4b140d5b253 | out/nix/store/6bkn1p9d6bhmv97fdx2z7vysi8hv6j31-copilot-theorem-4.1 doc (not default)/nix/store/dz2060apsy6y8g73p2wpfjiv5zdjisa8-copilot-theorem-4.1-doc |
JSON: /v2/pkg?name=haskellPackages.copilot-theorem · /v2/resolve?name=haskellPackages.copilot-theorem&version=4.1