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

coqPackages.dpdgraph 1.0+8.19

Build dependency graphs between Coq objects
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.dpdgraph@1.0+8.19
systemsaarch64-darwin, aarch64-linux, x86_64-darwin, x86_64-linux commit5629520edecb69630a3f4d17d3d33fc96c13f6fe 
$ nix shell github:NixOS/nixpkgs/5629520edecb69630a3f4d17d3d33fc96c13f6fe#coqPackages.dpdgraph

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.dpdgraph 5629520edecb
out
/nix/store/x854mx6a2hwbzmpvw8m5hw17w644acp6-coq8.19-dpdgraph-1.0+8.19
aarch64-linux
Linux · arm64		 coqPackages.dpdgraph 5629520edecb
out
/nix/store/mfxv2p4kpsfb0lyxh6k2bpgshckykzf2-coq8.19-dpdgraph-1.0+8.19
x86_64-darwin
macOS · x86-64		 coqPackages.dpdgraph 5629520edecb
out
/nix/store/5gn25za2kabq3bi3gnifizy4h88nzjis-coq8.19-dpdgraph-1.0+8.19
x86_64-linux
Linux · x86-64		 coqPackages.dpdgraph 5629520edecb
out
/nix/store/qpmywwars9agr90any8pp4mcyfqb2vkx-coq8.19-dpdgraph-1.0+8.19
← newer: 1.0+8.20 all 12 releases older: 1.0+8.18 →

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