nixsearch
nixsearch / pkg / coqPackages.dpdgraph / 1.0+8.17

coqPackages.dpdgraph 1.0+8.17

Build dependency graphs between Coq objects
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.dpdgraph@1.0+8.17
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit8b5ab8341e33322e5b66fb46ce23d724050f6606 
$ nix shell github:NixOS/nixpkgs/8b5ab8341e33322e5b66fb46ce23d724050f6606#coqPackages.dpdgraph

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.dpdgraph 8b5ab8341e33
out
/nix/store/2zfcnqdaapdp3bkb910a5xbqrgzvflrd-coq8.17-dpdgraph-1.0+8.17
aarch64-linux
Linux · arm64		 coqPackages.dpdgraph 8b5ab8341e33
out
/nix/store/s3gabbniwcn2bn6qgi3f8k1p0pg1arap-coq8.17-dpdgraph-1.0+8.17
x86_64-darwin
macOS · x86-64		 coqPackages.dpdgraph 8b5ab8341e33
out
/nix/store/jlrw6mr11p3x4hjnys06synnnb0fr7lp-coq8.17-dpdgraph-1.0+8.17
x86_64-linux
Linux · x86-64		 coqPackages.dpdgraph 8b5ab8341e33
out
/nix/store/h9rs3xs9il5lr6nm5iz19r4zs9q8pqpd-coq8.17-dpdgraph-1.0+8.17
← newer: 1.0+8.18 all 12 releases older: 1.0+8.16 →

JSON: /v2/pkg?name=coqPackages.dpdgraph · /v2/resolve?name=coqPackages.dpdgraph&version=1.0%2B8.17