{"name":"coqPackages.dpdgraph","version":"1.0+8.16","summary":"Build dependency graphs between Coq objects","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/yax1xzhsyh88k6aia23hglhmarf0bvbi-coq8.16-dpdgraph-1.0+8.16","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/mbpi055s9kg5592rzzdhjzrxfgmbywww-coq8.16-dpdgraph-1.0+8.16","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/m8b89fzcyh5m8a68phr6giz8g03ga3q9-coq8.16-dpdgraph-1.0+8.16","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/ka64fhmyj88s8rnsa6g2a81gi5hk8fbn-coq8.16-dpdgraph-1.0+8.16","default":true}]}}}