{"name":"coqPackages.dpdgraph","version":"1.0+9.1","summary":"Build dependency graphs between Coq objects","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/a29c5rdb4h08f0zz6w4sg39a4j31mq3s-coq9.1-dpdgraph-1.0+9.1","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/m7ssmjlnmligfplwj372qbr3s3bclliw-coq9.1-dpdgraph-1.0+9.1","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/zn6sk6k6jq77zq8iq6gslw11pha2dj8m-coq9.1-dpdgraph-1.0+9.1","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"ca1659429c950a11a565b5764e37a1b704e17ec8"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2026-10-10T12:58:50Z","outputs":[{"name":"out","path":"/nix/store/z9d9p07i8rbqn0k47n1zqz0kma34ajhp-coq9.1-dpdgraph-1.0+9.1","default":true}]}}}