nixsearch
nixsearch / pkg / coqPackages.deriving / 0.2.2

coqPackages.deriving 0.2.2

Generic instances of MathComp classes
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.deriving@0.2.2
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit7aaa00e7cc9be6c316cb5f6617bd740dd435c59d 
$ nix shell github:NixOS/nixpkgs/7aaa00e7cc9be6c316cb5f6617bd740dd435c59d#coqPackages.deriving

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.deriving 7aaa00e7cc9b
out
/nix/store/kjj5c310nvggbhwq7ypa02zild6k0rvn-coq9.1-deriving-0.2.2
aarch64-linux
Linux · arm64		 coqPackages.deriving 7aaa00e7cc9b
out
/nix/store/zqmjirv3dniwjqfjwj7pk94v41kmd2s0-coq9.1-deriving-0.2.2
x86_64-darwin
macOS · x86-64		 coqPackages.deriving 7aaa00e7cc9b
out
/nix/store/1z22ivacflyn8bc4szc41x3r0g07dwcq-coq9.1-deriving-0.2.2
x86_64-linux
Linux · x86-64		 coqPackages.deriving 7aaa00e7cc9b
out
/nix/store/lrhwh1rmlcm933iyx1nnj6bbwcfii5ir-coq9.1-deriving-0.2.2
← newer: 0.2.3 all 6 releases older: 0.2.1 →

JSON: /v2/pkg?name=coqPackages.deriving · /v2/resolve?name=coqPackages.deriving&version=0.2.2