nixsearch
nixsearch / pkg / haskellPackages.copilot-theorem_4_6 / 4.6

haskellPackages.copilot-theorem_4_6 4.6

k-induction for Copilot
Linux and macOS last changed outputs: out, doc

Pin this version

$ devbox add haskellPackages.copilot-theorem_4_6@4.6
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commita1bab9e494f5f4939442a57a58d0449a109593fe 
$ nix shell github:NixOS/nixpkgs/a1bab9e494f5f4939442a57a58d0449a109593fe#haskellPackages.copilot-theorem_4_6

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.copilot-theorem_4_6 a1bab9e494f5
out
/nix/store/ds85z88i6510vkd08ki3739mv1zspr4z-copilot-theorem-4.6
doc (not default)
/nix/store/920cpgj2ha3s1yx2ggmjif20jdjqnb70-copilot-theorem-4.6-doc
aarch64-linux
Linux · arm64		 haskellPackages.copilot-theorem_4_6 a1bab9e494f5
out
/nix/store/9l2l2glbg1yf03dan39skq6lmc7wi6aq-copilot-theorem-4.6
doc (not default)
/nix/store/m1limgs8lzgps1d094s3frzxiq3cylrq-copilot-theorem-4.6-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.copilot-theorem_4_6 a1bab9e494f5
out
/nix/store/1zld159sh1k89ldvqpljwfz8ih921jnr-copilot-theorem-4.6
doc (not default)
/nix/store/70w50z7rgllwilkpg5qmshvcmy7hg16d-copilot-theorem-4.6-doc
x86_64-linux
Linux · x86-64		 haskellPackages.copilot-theorem_4_6 a1bab9e494f5
out
/nix/store/mhlq7piz5r8pky2p9kznvcyfyz59jc6w-copilot-theorem-4.6
doc (not default)
/nix/store/m4f53bklrrn128isrpcj0wcra1s1rq88-copilot-theorem-4.6-doc
all 1 releases

JSON: /v2/pkg?name=haskellPackages.copilot-theorem_4_6 · /v2/resolve?name=haskellPackages.copilot-theorem_4_6&version=4.6