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

coqPackages.dpdgraph 1.0+9.1

Build dependency graphs between Coq objects
Linux and macOS last changed

Pin this version

$ devbox add coqPackages.dpdgraph@1.0+9.1
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#coqPackages.dpdgraph
systemsx86_64-darwin commit05988b07fb05cbcb50be6bce197b4b5f75b5e61b 
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#coqPackages.dpdgraph

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 coqPackages.dpdgraph b6c8664de9b6
out
/nix/store/a29c5rdb4h08f0zz6w4sg39a4j31mq3s-coq9.1-dpdgraph-1.0+9.1
aarch64-linux
Linux · arm64		 coqPackages.dpdgraph b6c8664de9b6
out
/nix/store/m7ssmjlnmligfplwj372qbr3s3bclliw-coq9.1-dpdgraph-1.0+9.1
x86_64-darwin
macOS · x86-64		 coqPackages.dpdgraph 05988b07fb05
out
/nix/store/zn6sk6k6jq77zq8iq6gslw11pha2dj8m-coq9.1-dpdgraph-1.0+9.1
x86_64-linux
Linux · x86-64		 coqPackages.dpdgraph b6c8664de9b6
out
/nix/store/z9d9p07i8rbqn0k47n1zqz0kma34ajhp-coq9.1-dpdgraph-1.0+9.1
all 12 releases older: 1.0+9.0 →

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