nixsearch
nixsearch / pkg / coqPackages.paco / 4.1.2

coqPackages.paco 4.1.2

Coq library implementing parameterized coinduction
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.paco@4.1.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit96d403ee2479f2070050353b94808209f1352edb 
$ nix shell github:NixOS/nixpkgs/96d403ee2479f2070050353b94808209f1352edb#coqPackages.paco

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.paco 96d403ee2479
out
/nix/store/pgicsl4vhw3yhmnc3gi1j2npcxcnwsv4-coq8.17-paco-4.1.2
aarch64-linux
Linux · arm64		 coqPackages.paco 96d403ee2479
out
/nix/store/jr7w13zq676rvhxg30k6gqj35qigqhd1-coq8.17-paco-4.1.2
x86_64-darwin
macOS · x86-64		 coqPackages.paco 96d403ee2479
out
/nix/store/90iwaxcq4363nv3dhnmryjiz2gcygzgf-coq8.17-paco-4.1.2
x86_64-linux
Linux · x86-64		 coqPackages.paco 96d403ee2479
out
/nix/store/sf7fdb907vbh6ynpc73sn87sjwngf5ii-coq8.17-paco-4.1.2
← newer: 4.2.0 all 7 releases older: 4.1.1 →

JSON: /v2/pkg?name=coqPackages.paco · /v2/resolve?name=coqPackages.paco&version=4.1.2