nixsearch
nixsearch / pkg / coqPackages.dpdgraph

coqPackages.dpdgraph

Build dependency graphs between Coq objects
LGPL-2.1 github.com coqPackages.dpdgraph 12 releases newest changed
coqPackages.dpdgraph@ latest, 3.11, ^3.11, >=3.10 <3.12
version1.0+9.1 attributecoqPackages.dpdgraph rev systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux 
$ devbox add coqPackages.dpdgraph@1.0+9.1
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#coqPackages.dpdgraph  # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#coqPackages.dpdgraph  # aarch64-linux
$ nix shell github:NixOS/nixpkgs/05988b07fb05cbcb50be6bce197b4b5f75b5e61b#coqPackages.dpdgraph  # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#coqPackages.dpdgraph  # x86_64-linux

JSON: /v2/resolve?name=coqPackages.dpdgraph&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac		arm
linux		x86
mac		x86
linux		AttributeCommitDateOutputs
1.0+9.1resolved ✓✓✓✓ coqPackages.dpdgraph varies
1.0+9.0 ✓✓✓✓ coqPackages.dpdgraph 09061f748e
1.0+8.20 ✓✓✓✓ coqPackages.dpdgraph 0d534853a5
1.0+8.19 ✓✓✓✓ coqPackages.dpdgraph 5629520ede
1.0+8.18 ✓✓✓✓ coqPackages.dpdgraph a9040b7bf8
1.0+8.17 ✓✓✓✓ coqPackages.dpdgraph 8b5ab8341e
1.0+8.16 ✓✓✓✓ coqPackages.dpdgraph 96ba1c52e5
1.0+8.15 ✓✓✓✓ coqPackages.dpdgraph e0ed589d74
1.0+8.13 ✓✓✓✓ coqPackages.dpdgraph varies
0.6.9 ✓–✓✓ coqPackages.dpdgraph 718895c149
0.6.7 –––✓ coqPackages.dpdgraph 316b82563a
0.6.5 –––✓ coqPackages.dpdgraph 729e7295cf

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.