Index of /ubuntu-ports/pool/universe/p/paramcoq/

../
libcoq-paramcoq_1.1.3+coq8.18-1build2_arm64.deb    01-Apr-2024 10:35              148678
libcoq-paramcoq_1.1.3+coq8.18-1build2_armhf.deb    01-Apr-2024 10:36              127848
libcoq-paramcoq_1.1.3+coq8.18-1build2_ppc64el.deb  01-Apr-2024 20:04              135554
libcoq-paramcoq_1.1.3+coq8.18-1build2_riscv64.deb  01-Apr-2024 10:38              136520
libcoq-paramcoq_1.1.3+coq8.18-1build2_s390x.deb    01-Apr-2024 16:35              136314
libcoq-paramcoq_1.1.3+coq8.20-1build3_arm64.deb    18-Feb-2025 21:25              140776
libcoq-paramcoq_1.1.3+coq8.20-1build3_ppc64el.deb  18-Feb-2025 21:26              129666
libcoq-paramcoq_1.1.3+coq8.20-1build3_riscv64.deb  19-Feb-2025 00:23              129900
libcoq-paramcoq_1.1.3+coq8.20-1build3_s390x.deb    19-Feb-2025 00:24              131578
libcoq-paramcoq_1.1.3+coq8.20-1build4_arm64.deb    20-Jun-2025 13:24              140668
libcoq-paramcoq_1.1.3+coq8.20-1build4_ppc64el.deb  20-Jun-2025 13:24              129444
libcoq-paramcoq_1.1.3+coq8.20-1build4_riscv64.deb  20-Jun-2025 15:15              129338
libcoq-paramcoq_1.1.3+coq8.20-1build4_s390x.deb    20-Jun-2025 13:24              131418
libcoq-paramcoq_1.1.3+coq8.20-1build7_arm64.deb    04-Mar-2026 08:35              140478
libcoq-paramcoq_1.1.3+coq8.20-1build7_ppc64el.deb  04-Mar-2026 08:35              129502
libcoq-paramcoq_1.1.3+coq8.20-1build7_riscv64.deb  04-Mar-2026 08:35              131214
libcoq-paramcoq_1.1.3+coq8.20-1build7_s390x.deb    04-Mar-2026 08:35              132930
libcoq-paramcoq_1.1.3+coq8.20-1build8_arm64.deb    08-Jul-2026 21:28              140750
libcoq-paramcoq_1.1.3+coq8.20-1build8_ppc64el.deb  08-Jul-2026 21:33              129732
libcoq-paramcoq_1.1.3+coq8.20-1build8_riscv64.deb  09-Jul-2026 01:44              131476
libcoq-paramcoq_1.1.3+coq8.20-1build8_s390x.deb    09-Jul-2026 05:22              133122
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz       01-Apr-2024 05:43                3244
paramcoq_1.1.3+coq8.18-1build2.dsc                 01-Apr-2024 05:43                2189
paramcoq_1.1.3+coq8.18.orig.tar.gz                 22-Dec-2023 17:26               45759
paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz       18-Feb-2025 21:25                3380
paramcoq_1.1.3+coq8.20-1build3.dsc                 18-Feb-2025 21:25                2110
paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz       20-Jun-2025 13:22                3412
paramcoq_1.1.3+coq8.20-1build4.dsc                 20-Jun-2025 13:22                2110
paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz       04-Mar-2026 08:35                3504
paramcoq_1.1.3+coq8.20-1build7.dsc                 04-Mar-2026 08:35                2110
paramcoq_1.1.3+coq8.20-1build8.debian.tar.xz       08-Jul-2026 15:15                3520
paramcoq_1.1.3+coq8.20-1build8.dsc                 08-Jul-2026 15:25                2110
paramcoq_1.1.3+coq8.20.orig.tar.gz                 20-Nov-2024 18:47               45816