nixsearch
nixsearch / pkg / haskellPackages.copilot-theorem_4_3 / 4.3

haskellPackages.copilot-theorem_4_3 4.3

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

Pin this version

$ devbox add haskellPackages.copilot-theorem_4_3@4.3
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit076e8c6678d8c54204abcb4b1b14c366835a58bb 
$ nix shell github:NixOS/nixpkgs/076e8c6678d8c54204abcb4b1b14c366835a58bb#haskellPackages.copilot-theorem_4_3

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 haskellPackages.copilot-theorem_4_3 076e8c6678d8
out
/nix/store/l3vysabzi8mkakmshkz4yafh6szcv8q6-copilot-theorem-4.3
doc (not default)
/nix/store/1r5w8yb1mqr95rgkvksph7lsl1qsczgb-copilot-theorem-4.3-doc
aarch64-linux
Linux · arm64		 haskellPackages.copilot-theorem_4_3 076e8c6678d8
out
/nix/store/gcsnx74ak5myp8ssmmfm9lbgc3ag6k4j-copilot-theorem-4.3
doc (not default)
/nix/store/37zy8mrwyfv66bzyv267qa5aaaggxz0q-copilot-theorem-4.3-doc
x86_64-darwin
macOS · x86-64		 haskellPackages.copilot-theorem_4_3 076e8c6678d8
out
/nix/store/hibln7kms3n3pfrfjp3j4x8x4lsw4wq6-copilot-theorem-4.3
doc (not default)
/nix/store/6951vspr39pdw52j9vdj8srkxniqiqg1-copilot-theorem-4.3-doc
x86_64-linux
Linux · x86-64		 haskellPackages.copilot-theorem_4_3 076e8c6678d8
out
/nix/store/3yp26y3i07pn7q2fi6ga50wlwygjj1rm-copilot-theorem-4.3
doc (not default)
/nix/store/jwk96b888jz4pqzll92gl4f4q4skbnls-copilot-theorem-4.3-doc
all 1 releases

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