{"name":"coqPackages.dpdgraph","summary":"Build dependency graphs between Coq objects","description":"","homepage_url":"https://github.com/rocq-community/coq-dpdgraph","license":"LGPL-2.1","attribute_paths":["coqPackages.dpdgraph"],"releases":[{"version":"1.0+9.1","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/a29c5rdb4h08f0zz6w4sg39a4j31mq3s-coq9.1-dpdgraph-1.0+9.1","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/m7ssmjlnmligfplwj372qbr3s3bclliw-coq9.1-dpdgraph-1.0+9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b","date":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/zn6sk6k6jq77zq8iq6gslw11pha2dj8m-coq9.1-dpdgraph-1.0+9.1","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","outputs":[{"name":"out","path":"/nix/store/z9d9p07i8rbqn0k47n1zqz0kma34ajhp-coq9.1-dpdgraph-1.0+9.1","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0+9.0","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/99g31bn8f6dzm1hn3vx1hbcbmdf2n0xs-coq9.0-dpdgraph-1.0+9.0","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/y72689vyfnk3rpaf551dnh0aw3bwfsg5-coq9.0-dpdgraph-1.0+9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/x01zxhl33dgbk1k0m43pipsja2j547yd-coq9.0-dpdgraph-1.0+9.0","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/2qg8028mw7hb3zxz12jzk5k37y6bwpzd-coq9.0-dpdgraph-1.0+9.0","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0+8.20","last_updated":"2025-03-11T17:52:14Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/p0wdnsi3yafzm3kwbs8cpnklafbb47ca-coq8.20-dpdgraph-1.0+8.20","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/s9vspaxq7vc338a9maii742p5fci2j53-coq8.20-dpdgraph-1.0+8.20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/4r7imah8m1281nqd85aramj7nf458rvm-coq8.20-dpdgraph-1.0+8.20","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"0d534853a55b5d02a4ababa1d71921ce8f0aee4c","date":"2025-03-11T17:52:14Z","outputs":[{"name":"out","path":"/nix/store/p6mpx5r01qawah5cnr3s4iz6dc6x21mb-coq8.20-dpdgraph-1.0+8.20","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0+8.19","last_updated":"2024-08-31T10:12:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/x854mx6a2hwbzmpvw8m5hw17w644acp6-coq8.19-dpdgraph-1.0+8.19","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/mfxv2p4kpsfb0lyxh6k2bpgshckykzf2-coq8.19-dpdgraph-1.0+8.19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/5gn25za2kabq3bi3gnifizy4h88nzjis-coq8.19-dpdgraph-1.0+8.19","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"5629520edecb69630a3f4d17d3d33fc96c13f6fe","date":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/qpmywwars9agr90any8pp4mcyfqb2vkx-coq8.19-dpdgraph-1.0+8.19","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0+8.18","last_updated":"2024-04-24T04:52:23Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/3750d6251i17a82fafkzpq38pgjncx9x-coq8.18-dpdgraph-1.0+8.18","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/11b4iih69q23zgks3asmwhxsdaijkwzg-coq8.18-dpdgraph-1.0+8.18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/l31l2c4ipvzlnib090a4qdnrb6gq32cn-coq8.18-dpdgraph-1.0+8.18","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"a9040b7bf8adcd322493722106dd603eb87694ea","date":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/qsgrqsqw7p3m91ilg5vkk7fdx52iqjbf-coq8.18-dpdgraph-1.0+8.18","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0+8.17","last_updated":"2023-09-19T14:14:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"8b5ab8341e33322e5b66fb46ce23d724050f6606","date":"2023-09-19T14:14:51Z","outputs":[{"name":"out","path":"/nix/store/2zfcnqdaapdp3bkb910a5xbqrgzvflrd-coq8.17-dpdgraph-1.0+8.17","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"8b5ab8341e33322e5b66fb46ce23d724050f6606","date":"2023-09-19T14:14:51Z","outputs":[{"name":"out","path":"/nix/store/s3gabbniwcn2bn6qgi3f8k1p0pg1arap-coq8.17-dpdgraph-1.0+8.17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"8b5ab8341e33322e5b66fb46ce23d724050f6606","date":"2023-09-19T14:14:51Z","outputs":[{"name":"out","path":"/nix/store/jlrw6mr11p3x4hjnys06synnnb0fr7lp-coq8.17-dpdgraph-1.0+8.17","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"8b5ab8341e33322e5b66fb46ce23d724050f6606","date":"2023-09-19T14:14:51Z","outputs":[{"name":"out","path":"/nix/store/h9rs3xs9il5lr6nm5iz19r4zs9q8pqpd-coq8.17-dpdgraph-1.0+8.17","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0+8.16","last_updated":"2023-04-13T03:55:09Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/yax1xzhsyh88k6aia23hglhmarf0bvbi-coq8.16-dpdgraph-1.0+8.16","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/mbpi055s9kg5592rzzdhjzrxfgmbywww-coq8.16-dpdgraph-1.0+8.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/m8b89fzcyh5m8a68phr6giz8g03ga3q9-coq8.16-dpdgraph-1.0+8.16","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"96ba1c52e54e74c3197f4d43026b3f3d92e83ff9","date":"2023-04-13T03:55:09Z","outputs":[{"name":"out","path":"/nix/store/ka64fhmyj88s8rnsa6g2a81gi5hk8fbn-coq8.16-dpdgraph-1.0+8.16","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0+8.15","last_updated":"2022-10-11T10:16:04Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/mv43p8x3hrd4pjk17hxblkigj21dw6ll-coq8.15-dpdgraph-1.0+8.15","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/c3k6smal0vlj7s7fn8qvwyfsjsmvdxs3-coq8.15-dpdgraph-1.0+8.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/2cwh92cy97zpz2nwk3jx4pz2k9jmhz2a-coq8.15-dpdgraph-1.0+8.15","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"e0ed589d7422c1d7a1bdd1e81289e2428c6ec2a3","date":"2022-10-11T10:16:04Z","outputs":[{"name":"out","path":"/nix/store/9fhcjaackr4j1x3fr3xh4zfiq7fhkxiv-coq8.15-dpdgraph-1.0+8.15","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"1.0+8.13","last_updated":"2022-05-04T19:02:07Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0","date":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/q7hdc42ihax6yqf9csc7c63dq25pml30-coq8.13-dpdgraph-1.0+8.13","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[{"name":"out","path":"/nix/store/rjfccnm9yf83x48b4yxbrpc242vs0hvs-coq8.13-dpdgraph-1.0+8.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"b4cc9cd38f05f1a764e21bfb1b14e89be76068b0","date":"2022-05-04T19:02:07Z","outputs":[{"name":"out","path":"/nix/store/pmz4nija25q4cdlyy2xx6k9mjv0wr0v9-coq8.13-dpdgraph-1.0+8.13","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"24c33ab7952544ad355d0677c9eea931b23f371c","date":"2022-05-03T02:40:48Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.9","last_updated":"2021-10-22T02:15:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"coqPackages.dpdgraph","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"718895c14907b60069520b6394b4dbb6e3aa9c33","date":"2021-10-22T02:15:45Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.7","last_updated":"2021-05-07T13:48:33Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"316b82563a7793a4a88bed9e41adb936d9adc969","date":"2021-05-07T13:48:33Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false},{"version":"0.6.5","last_updated":"2020-08-14T19:01:46Z","platforms":[{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"coqPackages.dpdgraph","commit_hash":"729e7295cf7b3205fcfa72544c1195c03de11c3d","date":"2020-08-14T19:01:46Z","outputs":[],"broken":false,"insecure":false}],"platforms_summary":"Linux","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}