Index of /ubuntu/pool/universe/p/paramcoq/ Index of /ubuntu/pool/universe/p/paramcoq/
../ libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb 01-Apr-2024 10:21 127K libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb 19-Feb-2025 00:55 121K libcoq-paramcoq_1.1.3+coq8.20-1build4_amd64.deb 20-Jun-2025 16:53 121K libcoq-paramcoq_1.1.3+coq8.20-1build5_amd64.deb 05-Jan-2026 23:37 121K libcoq-paramcoq_1.1.3+coq8.20-1build5_amd64v3.deb 05-Jan-2026 23:37 120K libcoq-paramcoq_1.1.3+coq8.20-1build6_amd64.deb 29-Jan-2026 23:31 120K libcoq-paramcoq_1.1.3+coq8.20-1build6_amd64v3.deb 29-Jan-2026 23:31 120K paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz 01-Apr-2024 09:13 3244 paramcoq_1.1.3+coq8.18-1build2.dsc 01-Apr-2024 09:13 2189 paramcoq_1.1.3+coq8.18.orig.tar.gz 22-Dec-2023 20:56 45K paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz 19-Feb-2025 00:55 3380 paramcoq_1.1.3+coq8.20-1build3.dsc 19-Feb-2025 00:55 2110 paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz 20-Jun-2025 16:52 3412 paramcoq_1.1.3+coq8.20-1build4.dsc 20-Jun-2025 16:52 2110 paramcoq_1.1.3+coq8.20-1build5.debian.tar.xz 05-Jan-2026 23:32 3436 paramcoq_1.1.3+coq8.20-1build5.dsc 05-Jan-2026 23:32 2110 paramcoq_1.1.3+coq8.20-1build6.debian.tar.xz 29-Jan-2026 23:24 3448 paramcoq_1.1.3+coq8.20-1build6.dsc 29-Jan-2026 23:24 2110 paramcoq_1.1.3+coq8.20.orig.tar.gz 20-Nov-2024 22:17 45K
Mirrors service provided by ParsVDS. Contact:
parsvds.s@gmail.com