nixsearch
nixsearch / pkg / coqPackages.paco / 4.1.1

coqPackages.paco 4.1.1

Coq library implementing parameterized coinduction
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.paco@4.1.1
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commit7de40c4783b3c909e5cc273cc68cba3d2b5f65ec 
$ nix shell github:NixOS/nixpkgs/7de40c4783b3c909e5cc273cc68cba3d2b5f65ec#coqPackages.paco

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.paco 7de40c4783b3
x86_64-darwin
macOS · x86-64		 coqPackages.paco 7de40c4783b3
x86_64-linux
Linux · x86-64		 coqPackages.paco 7de40c4783b3
← newer: 4.1.2 all 7 releases older: 4.0.2 →

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