Index of /ubuntu/pool/universe/c/coq-dpdgraph/

Name Size Date
📁 ../ - -
📄 coq-dpdgraph-tools_1.0+8.18-1build3_amd64.deb 1300620 bytes 2024-04-08 07:57:47
📄 coq-dpdgraph-tools_1.0+8.20-1build3_amd64.deb 1375994 bytes 2025-02-18 21:25:34
📄 coq-dpdgraph-tools_1.0+8.20-1build4_amd64.deb 1374898 bytes 2025-06-20 04:01:49
📄 coq-dpdgraph-tools_1.0+8.20-1build5_amd64.deb 1409030 bytes 2026-01-04 23:06:52
📄 coq-dpdgraph-tools_1.0+8.20-1build5_amd64v3.deb 1409038 bytes 2026-01-04 23:06:55
📄 coq-dpdgraph-tools_1.0+8.20-1build7_amd64.deb 1409014 bytes 2026-03-01 15:46:54
📄 coq-dpdgraph-tools_1.0+8.20-1build7_amd64v3.deb 1409022 bytes 2026-03-01 15:46:56
📄 coq-dpdgraph-tools_1.0+8.20-1build8_amd64.deb 1409040 bytes 2026-03-04 08:35:50
📄 coq-dpdgraph-tools_1.0+8.20-1build8_amd64v3.deb 1409046 bytes 2026-03-04 08:35:51
📄 coq-dpdgraph_1.0+8.18-1build3.debian.tar.xz 3252 bytes 2024-04-08 07:57:41
📄 coq-dpdgraph_1.0+8.18-1build3.dsc 2296 bytes 2024-04-08 07:57:41
📄 coq-dpdgraph_1.0+8.18.orig.tar.gz 66066 bytes 2023-12-22 17:26:57
📄 coq-dpdgraph_1.0+8.20-1build3.debian.tar.xz 3292 bytes 2025-02-18 21:25:09
📄 coq-dpdgraph_1.0+8.20-1build3.dsc 2217 bytes 2025-02-18 21:25:09
📄 coq-dpdgraph_1.0+8.20-1build4.debian.tar.xz 3316 bytes 2025-06-19 17:20:21
📄 coq-dpdgraph_1.0+8.20-1build4.dsc 2217 bytes 2025-06-19 17:20:21
📄 coq-dpdgraph_1.0+8.20-1build5.debian.tar.xz 3336 bytes 2026-01-03 19:11:47
📄 coq-dpdgraph_1.0+8.20-1build5.dsc 2217 bytes 2026-01-03 19:11:47
📄 coq-dpdgraph_1.0+8.20-1build7.debian.tar.xz 3408 bytes 2026-03-01 15:46:47
📄 coq-dpdgraph_1.0+8.20-1build7.dsc 2217 bytes 2026-03-01 15:46:47
📄 coq-dpdgraph_1.0+8.20-1build8.debian.tar.xz 3440 bytes 2026-03-04 08:35:01
📄 coq-dpdgraph_1.0+8.20-1build8.dsc 2217 bytes 2026-03-04 08:35:01
📄 coq-dpdgraph_1.0+8.20.orig.tar.gz 66256 bytes 2024-11-20 18:47:28
📄 libcoq-dpdgraph_1.0+8.18-1build3_amd64.deb 35118 bytes 2024-04-08 07:57:47
📄 libcoq-dpdgraph_1.0+8.20-1build3_amd64.deb 37640 bytes 2025-02-18 21:25:34
📄 libcoq-dpdgraph_1.0+8.20-1build4_amd64.deb 37644 bytes 2025-06-20 04:01:49
📄 libcoq-dpdgraph_1.0+8.20-1build5_amd64.deb 37894 bytes 2026-01-04 23:06:52
📄 libcoq-dpdgraph_1.0+8.20-1build5_amd64v3.deb 37904 bytes 2026-01-04 23:06:55
📄 libcoq-dpdgraph_1.0+8.20-1build7_amd64.deb 37860 bytes 2026-03-01 15:46:54
📄 libcoq-dpdgraph_1.0+8.20-1build7_amd64v3.deb 37888 bytes 2026-03-01 15:46:56
📄 libcoq-dpdgraph_1.0+8.20-1build8_amd64.deb 37880 bytes 2026-03-04 08:35:50
📄 libcoq-dpdgraph_1.0+8.20-1build8_amd64v3.deb 37890 bytes 2026-03-04 08:35:51