{"name":"coqPackages.dpdgraph","version":"1.0+8.17","summary":"Build dependency graphs between Coq objects","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b5ab8341e33322e5b66fb46ce23d724050f6606"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2023-09-19T14:14:51Z","outputs":[{"name":"out","path":"/nix/store/2zfcnqdaapdp3bkb910a5xbqrgzvflrd-coq8.17-dpdgraph-1.0+8.17","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b5ab8341e33322e5b66fb46ce23d724050f6606"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2023-09-19T14:14:51Z","outputs":[{"name":"out","path":"/nix/store/s3gabbniwcn2bn6qgi3f8k1p0pg1arap-coq8.17-dpdgraph-1.0+8.17","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b5ab8341e33322e5b66fb46ce23d724050f6606"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2023-09-19T14:14:51Z","outputs":[{"name":"out","path":"/nix/store/jlrw6mr11p3x4hjnys06synnnb0fr7lp-coq8.17-dpdgraph-1.0+8.17","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b5ab8341e33322e5b66fb46ce23d724050f6606"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2023-09-19T14:14:51Z","outputs":[{"name":"out","path":"/nix/store/h9rs3xs9il5lr6nm5iz19r4zs9q8pqpd-coq8.17-dpdgraph-1.0+8.17","default":true}]}}}