nixsearch
nixsearch / pkg / coqPackages.paco / 4.0.2

coqPackages.paco 4.0.2

Coq library implementing parameterized coinduction
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.paco@4.0.2
systemsaarch64-darwin, x86_64-darwin commit2df15ba83d0510a56f2583fd3481723835acb5a1 
$ nix shell github:NixOS/nixpkgs/2df15ba83d0510a56f2583fd3481723835acb5a1#coqPackages.paco
systemsx86_64-linux commitf6e14b6ada8ea9e1bcec55d9cb716e9a86af0642 
$ nix shell github:NixOS/nixpkgs/f6e14b6ada8ea9e1bcec55d9cb716e9a86af0642#coqPackages.paco

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.paco 2df15ba83d05
x86_64-darwin
macOS · x86-64		 coqPackages.paco 2df15ba83d05
x86_64-linux
Linux · x86-64		 coqPackages.paco f6e14b6ada8e
← newer: 4.1.1 all 7 releases older: 4.0.0 →

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