nixsearch
nixsearch / pkg / coqPackages.deriving / 0.1.0

coqPackages.deriving 0.1.0

Generic instances of MathComp classes
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.deriving@0.1.0
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit96ba1c52e54e74c3197f4d43026b3f3d92e83ff9 
$ nix shell github:NixOS/nixpkgs/96ba1c52e54e74c3197f4d43026b3f3d92e83ff9#coqPackages.deriving

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.deriving 96ba1c52e54e
out
/nix/store/5mwljkhr9mlqmzk7pwc9g8qn6vgzfwwg-coq8.16-deriving-0.1.0
aarch64-linux
Linux · arm64		 coqPackages.deriving 96ba1c52e54e
out
/nix/store/sxwn8h1s1j6fyafr3ax1y6g1jbdivnzk-coq8.16-deriving-0.1.0
x86_64-darwin
macOS · x86-64		 coqPackages.deriving 96ba1c52e54e
out
/nix/store/vmszpq84wxc4v23wsvff8azqdsk1cfcf-coq8.16-deriving-0.1.0
x86_64-linux
Linux · x86-64		 coqPackages.deriving 96ba1c52e54e
out
/nix/store/bd4467nrj760fddzfr7izzfnnb0bp1by-coq8.16-deriving-0.1.0
← newer: 0.1.1 all 6 releases

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