Index of /pub/ubuntu/pool/universe/p/paramcoq/

../
libcoq-paramcoq_1.1.3+coq8.18-1build2_amd64.deb    12-Sep-2026 13:09    127K
libcoq-paramcoq_1.1.3+coq8.20-1build3_amd64.deb    12-Sep-2026 13:09    121K
libcoq-paramcoq_1.1.3+coq8.20-1build4_amd64.deb    12-Sep-2026 13:09    121K
libcoq-paramcoq_1.1.3+coq8.20-1build4_arm64.deb    12-Sep-2026 13:09    137K
libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64.deb    12-Sep-2026 13:09    120K
libcoq-paramcoq_1.1.3+coq8.20-1build7_amd64v3.deb  12-Sep-2026 13:09    121K
libcoq-paramcoq_1.1.3+coq8.20-1build7_arm64.deb    12-Sep-2026 13:09    137K
libcoq-paramcoq_1.1.3+coq8.20-1build8_amd64.deb    12-Sep-2026 13:09    121K
libcoq-paramcoq_1.1.3+coq8.20-1build8_amd64v3.deb  12-Sep-2026 13:09    121K
libcoq-paramcoq_1.1.3+coq8.20-1build8_arm64.deb    12-Sep-2026 13:09    137K
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz       12-Sep-2026 13:09    3244
paramcoq_1.1.3+coq8.18-1build2.dsc                 12-Sep-2026 13:09    2189
paramcoq_1.1.3+coq8.18.orig.tar.gz                 12-Sep-2026 13:09     45K
paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz       12-Sep-2026 13:09    3380
paramcoq_1.1.3+coq8.20-1build3.dsc                 12-Sep-2026 13:09    2110
paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz       12-Sep-2026 13:09    3412
paramcoq_1.1.3+coq8.20-1build4.dsc                 12-Sep-2026 13:09    2110
paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz       12-Sep-2026 13:09    3504
paramcoq_1.1.3+coq8.20-1build7.dsc                 12-Sep-2026 13:09    2110
paramcoq_1.1.3+coq8.20.orig.tar.gz                 12-Sep-2026 13:09     45K