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

coqPackages.dpdgraph 1.0+8.13

Build dependency graphs between Coq objects
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.dpdgraph@1.0+8.13
systemsaarch64-darwin, x86_64-darwin commitb4cc9cd38f05f1a764e21bfb1b14e89be76068b0 
$ nix shell github:NixOS/nixpkgs/b4cc9cd38f05f1a764e21bfb1b14e89be76068b0#coqPackages.dpdgraph
systemsaarch64-linux, x86_64-linux commit24c33ab7952544ad355d0677c9eea931b23f371c 
$ nix shell github:NixOS/nixpkgs/24c33ab7952544ad355d0677c9eea931b23f371c#coqPackages.dpdgraph

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.dpdgraph b4cc9cd38f05
out
/nix/store/q7hdc42ihax6yqf9csc7c63dq25pml30-coq8.13-dpdgraph-1.0+8.13
aarch64-linux
Linux · arm64		 coqPackages.dpdgraph 24c33ab79525
out
/nix/store/rjfccnm9yf83x48b4yxbrpc242vs0hvs-coq8.13-dpdgraph-1.0+8.13
x86_64-darwin
macOS · x86-64		 coqPackages.dpdgraph b4cc9cd38f05
out
/nix/store/pmz4nija25q4cdlyy2xx6k9mjv0wr0v9-coq8.13-dpdgraph-1.0+8.13
x86_64-linux
Linux · x86-64		 coqPackages.dpdgraph 24c33ab79525
← newer: 1.0+8.15 all 12 releases older: 0.6.9 →

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