{"name":"coqPackages.dpdgraph","version":"1.0+8.13","summary":"Build dependency graphs between Coq objects","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/q7hdc42ihax6yqf9csc7c63dq25pml30-coq8.13-dpdgraph-1.0+8.13","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24c33ab7952544ad355d0677c9eea931b23f371c"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2022-05-03T02:40:48Z","outputs":[{"name":"out","path":"/nix/store/rjfccnm9yf83x48b4yxbrpc242vs0hvs-coq8.13-dpdgraph-1.0+8.13","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/pmz4nija25q4cdlyy2xx6k9mjv0wr0v9-coq8.13-dpdgraph-1.0+8.13","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"24c33ab7952544ad355d0677c9eea931b23f371c"},"attr_path":"coqPackages.dpdgraph"},"last_updated":"2022-05-03T02:40:48Z"}}}