| .. |
| libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb |
129820 |
2025-05-20T12:40:32.519Z |
| libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb |
124134 |
2025-05-20T12:40:32.851Z |
| libcoq-paramcoq_1.1.3+coq8.20-1build4_amd64.deb |
123790 |
2025-06-20T20:32:54.596Z |
| libcoq-paramcoq_1.1.3+coq8.20-1build4_arm64.deb |
140668 |
2026-04-02T08:40:18.023Z |
| libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64.deb |
123380 |
2026-03-04T14:34:45.128Z |
| libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64v3.deb |
123590 |
2026-03-04T14:34:45.111Z |
| libcoq-paramcoq_1.1.3+coq8.20-1build7_arm64.deb |
140478 |
2026-04-02T08:40:18.026Z |
| paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz |
3244 |
2025-05-20T12:40:32.996Z |
| paramcoq_1.1.3+coq8.18-1build2.dsc |
2189 |
2025-05-20T12:40:33.259Z |
| paramcoq_1.1.3+coq8.18.orig.tar.gz |
45759 |
2025-05-20T12:40:33.339Z |
| paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz |
3380 |
2025-05-20T12:40:33.999Z |
| paramcoq_1.1.3+coq8.20-1build3.dsc |
2110 |
2025-05-20T12:40:34.178Z |
| paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz |
3412 |
2025-06-20T20:32:54.245Z |
| paramcoq_1.1.3+coq8.20-1build4.dsc |
2110 |
2025-06-20T20:32:54.240Z |
| paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz |
3504 |
2026-03-04T14:34:44.960Z |
| paramcoq_1.1.3+coq8.20-1build7.dsc |
2110 |
2026-03-04T14:34:44.964Z |
| paramcoq_1.1.3+coq8.20.orig.tar.gz |
45816 |
2025-05-20T12:40:34.345Z |