nixsearch
nixsearch / pkg / coqPackages.paco / 4.2.2

coqPackages.paco 4.2.2

Coq library implementing parameterized coinduction
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.paco@4.2.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin commit2d068ae5c6516b2d04562de50a58c682540de9bf 
$ nix shell github:NixOS/nixpkgs/2d068ae5c6516b2d04562de50a58c682540de9bf#coqPackages.paco
systemsx86_64-linux commit0d534853a55b5d02a4ababa1d71921ce8f0aee4c 
$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#coqPackages.paco

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.paco 2d068ae5c651
out
/nix/store/yswpxjxil7n4iyjz8jwv64wmxwkywiag-coq8.20-paco-4.2.2
aarch64-linux
Linux · arm64		 coqPackages.paco 2d068ae5c651
out
/nix/store/127c1mx5938c4g6jwhlfygls14sg6mva-coq8.20-paco-4.2.2
x86_64-darwin
macOS · x86-64		 coqPackages.paco 2d068ae5c651
out
/nix/store/1f1xrhcn1fdxajq6w6j1176wsyr059bv-coq8.20-paco-4.2.2
x86_64-linux
Linux · x86-64		 coqPackages.paco 0d534853a55b
out
/nix/store/hz360nc9wyhnkj71lcg6xivgaqgs1xa5-coq8.20-paco-4.2.2
← newer: 4.2.3 all 7 releases older: 4.2.0 →

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