| name | size | date |
|---|---|---|
| debian-coq-tools_0.11_all.deb | 7.5K | 2025-09-13 02:10:01 |
| dh-coq_0.11_all.deb | 6.7K | 2025-09-13 02:10:01 |
| debian-coq-tools_0.5_all.deb | 6.1K | 2024-11-26 13:28:45 |
| dh-coq_0.5_all.deb | 7.2K | 2024-11-26 13:28:45 |
| debian-coq-tools_0.6_all.deb | 6.2K | 2024-11-15 03:11:55 |
| dh-coq_0.6_all.deb | 7.5K | 2024-11-15 03:11:55 |
| dh-coq_0.3_all.deb | 7.0K | 2023-08-11 04:35:12 |