nixsearch
nixsearch / pkg / coqPackages.paramcoq / 1.1.2

coqPackages.paramcoq 1.1.2

Coq plugin for parametricity
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.paramcoq@1.1.2
systemsaarch64-darwin, x86_64-darwin, x86_64-linux commitb5182c214fac1e6db9f28ed8a7cfc2d0c255c763 
$ nix shell github:NixOS/nixpkgs/b5182c214fac1e6db9f28ed8a7cfc2d0c255c763#coqPackages.paramcoq

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.paramcoq b5182c214fac
x86_64-darwin
macOS · x86-64		 coqPackages.paramcoq b5182c214fac
x86_64-linux
Linux · x86-64		 coqPackages.paramcoq b5182c214fac
← newer: 1.1.3 all 2 releases

JSON: /v2/pkg?name=coqPackages.paramcoq · /v2/resolve?name=coqPackages.paramcoq&version=1.1.2