Index of /ubuntu-ports/pool/universe/p/paramcoq/
../
libcoq-paramcoq_1.1.3+coq8.18-1build2_arm64.deb 01-Apr-2024 17:35 145K
libcoq-paramcoq_1.1.3+coq8.18-1build2_armhf.deb 01-Apr-2024 17:36 125K
libcoq-paramcoq_1.1.3+coq8.18-1build2_ppc64el.deb 02-Apr-2024 03:04 132K
libcoq-paramcoq_1.1.3+coq8.18-1build2_riscv64.deb 01-Apr-2024 17:38 133K
libcoq-paramcoq_1.1.3+coq8.18-1build2_s390x.deb 01-Apr-2024 23:35 133K
libcoq-paramcoq_1.1.3+coq8.19-2build2_arm64.deb 07-Sep-2024 22:44 137K
libcoq-paramcoq_1.1.3+coq8.19-2build2_ppc64el.deb 07-Sep-2024 22:44 126K
libcoq-paramcoq_1.1.3+coq8.19-2build2_riscv64.deb 07-Sep-2024 23:34 127K
libcoq-paramcoq_1.1.3+coq8.19-2build2_s390x.deb 07-Sep-2024 22:44 128K
libcoq-paramcoq_1.1.3+coq8.20-1build3_arm64.deb 19-Feb-2025 04:25 137K
libcoq-paramcoq_1.1.3+coq8.20-1build3_ppc64el.deb 19-Feb-2025 04:26 127K
libcoq-paramcoq_1.1.3+coq8.20-1build3_riscv64.deb 19-Feb-2025 07:23 127K
libcoq-paramcoq_1.1.3+coq8.20-1build3_s390x.deb 19-Feb-2025 07:24 128K
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz 01-Apr-2024 12:43 3244
paramcoq_1.1.3+coq8.18-1build2.dsc 01-Apr-2024 12:43 2189
paramcoq_1.1.3+coq8.18.orig.tar.gz 23-Dec-2023 00:26 45K
paramcoq_1.1.3+coq8.19-2build2.debian.tar.xz 07-Sep-2024 22:43 3320
paramcoq_1.1.3+coq8.19-2build2.dsc 07-Sep-2024 22:43 2110
paramcoq_1.1.3+coq8.19.orig.tar.gz 03-May-2024 08:49 45K
paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz 19-Feb-2025 04:25 3380
paramcoq_1.1.3+coq8.20-1build3.dsc 19-Feb-2025 04:25 2110
paramcoq_1.1.3+coq8.20.orig.tar.gz 21-Nov-2024 01:47 45K