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

coqPackages.dpdgraph 1.0+8.20

Build dependency graphs between Coq objects
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.dpdgraph@1.0+8.20
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit0d534853a55b5d02a4ababa1d71921ce8f0aee4c 
$ nix shell github:NixOS/nixpkgs/0d534853a55b5d02a4ababa1d71921ce8f0aee4c#coqPackages.dpdgraph

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.dpdgraph 0d534853a55b
out
/nix/store/p0wdnsi3yafzm3kwbs8cpnklafbb47ca-coq8.20-dpdgraph-1.0+8.20
aarch64-linux
Linux · arm64		 coqPackages.dpdgraph 0d534853a55b
out
/nix/store/s9vspaxq7vc338a9maii742p5fci2j53-coq8.20-dpdgraph-1.0+8.20
x86_64-darwin
macOS · x86-64		 coqPackages.dpdgraph 0d534853a55b
out
/nix/store/4r7imah8m1281nqd85aramj7nf458rvm-coq8.20-dpdgraph-1.0+8.20
x86_64-linux
Linux · x86-64		 coqPackages.dpdgraph 0d534853a55b
out
/nix/store/p6mpx5r01qawah5cnr3s4iz6dc6x21mb-coq8.20-dpdgraph-1.0+8.20
← newer: 1.0+9.0 all 12 releases older: 1.0+8.19 →

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