| name | size | date |
|---|---|---|
| coq-dpdgraph-tools_1.0+8.19-2build3_amd64.deb | 1.30M | 2025-09-13 01:33:22 |
| libcoq-dpdgraph_1.0+8.19-2build3_amd64.deb | 37.0K | 2025-09-13 01:33:22 |
| coq-dpdgraph-tools_1.0+8.16-2build2_amd64.deb | 1.14M | 2024-11-26 13:18:51 |
| libcoq-dpdgraph_1.0+8.16-2build2_amd64.deb | 33.8K | 2024-11-26 13:18:51 |
| coq-dpdgraph-tools_1.0+8.17-1build1_amd64.deb | 1.14M | 2024-11-15 03:05:04 |
| libcoq-dpdgraph_1.0+8.17-1build1_amd64.deb | 34.1K | 2024-11-15 03:05:04 |
| libcoq-dpdgraph-ocaml_1.0+8.15-2_amd64.deb | 22.3K | 2023-08-11 04:18:09 |
| libcoq-dpdgraph_1.0+8.15-2_amd64.deb | 2.7K | 2023-08-11 04:18:09 |
| coq-dpdgraph-tools_1.0+8.15-2_amd64.deb | 1.14M | 2023-08-11 04:18:08 |
| libcoq-dpdgraph-ocaml-dev_1.0+8.15-2_amd64.deb | 16.8K | 2023-08-11 04:18:08 |