| libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb | 126.78 KB | 04/01/2024, 06:51:32 |
| libcoq-paramcoq_1.1.3+coq8.19-2build2_amd64.deb | 121.05 KB | 09/07/2024, 15:44:00 |
| libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb | 121.22 KB | 02/18/2025, 21:25:33 |
| paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz | 3.17 KB | 04/01/2024, 05:43:08 |
| paramcoq_1.1.3+coq8.18-1build2.dsc | 2.14 KB | 04/01/2024, 05:43:08 |
| paramcoq_1.1.3+coq8.18.orig.tar.gz | 44.69 KB | 12/22/2023, 17:26:53 |
| paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz | 3.24 KB | 09/07/2024, 15:43:55 |
| paramcoq_1.1.3+coq8.19-2build2.dsc | 2.06 KB | 09/07/2024, 15:43:55 |
| paramcoq_1.1.3+coq8.19.orig.tar.gz | 44.81 KB | 05/03/2024, 01:49:49 |
| paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz | 3.30 KB | 02/18/2025, 21:25:06 |
| paramcoq_1.1.3+coq8.20-1build3.dsc | 2.06 KB | 02/18/2025, 21:25:06 |
| paramcoq_1.1.3+coq8.20.orig.tar.gz | 44.74 KB | 11/20/2024, 18:47:20 |
