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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-paramcoq_1.1.3+coq8.18-1build2_arm64.deb 1486782024-Apr-01 19:35
libcoq-paramcoq_1.1.3+coq8.18-1build2_armhf.deb 1278482024-Apr-01 19:36
libcoq-paramcoq_1.1.3+coq8.18-1build2_ppc64el.deb 1355542024-Apr-02 05:04
libcoq-paramcoq_1.1.3+coq8.18-1build2_riscv64.deb 1365202024-Apr-01 19:38
libcoq-paramcoq_1.1.3+coq8.18-1build2_s390x.deb 1363142024-Apr-02 01:35
libcoq-paramcoq_1.1.3+coq8.20-1build3_arm64.deb 1407762025-Feb-19 06:25
libcoq-paramcoq_1.1.3+coq8.20-1build3_ppc64el.deb 1296662025-Feb-19 06:26
libcoq-paramcoq_1.1.3+coq8.20-1build3_riscv64.deb 1299002025-Feb-19 09:23
libcoq-paramcoq_1.1.3+coq8.20-1build3_s390x.deb 1315782025-Feb-19 09:24
libcoq-paramcoq_1.1.3+coq8.20-1build4_arm64.deb 1406682025-Jun-20 22:24
libcoq-paramcoq_1.1.3+coq8.20-1build4_ppc64el.deb 1294442025-Jun-20 22:24
libcoq-paramcoq_1.1.3+coq8.20-1build4_riscv64.deb 1293382025-Jun-21 00:15
libcoq-paramcoq_1.1.3+coq8.20-1build4_s390x.deb 1314182025-Jun-20 22:24
libcoq-paramcoq_1.1.3+coq8.20-1build7_arm64.deb 1404782026-Mar-04 17:35
libcoq-paramcoq_1.1.3+coq8.20-1build7_ppc64el.deb 1295022026-Mar-04 17:35
libcoq-paramcoq_1.1.3+coq8.20-1build7_riscv64.deb 1312142026-Mar-04 17:35
libcoq-paramcoq_1.1.3+coq8.20-1build7_s390x.deb 1329302026-Mar-04 17:35
libcoq-paramcoq_1.1.3+coq8.20-1build8_arm64.deb 1407502026-Jul-09 06:28
libcoq-paramcoq_1.1.3+coq8.20-1build8_ppc64el.deb 1297322026-Jul-09 06:33
libcoq-paramcoq_1.1.3+coq8.20-1build8_riscv64.deb 1314762026-Jul-09 10:44
libcoq-paramcoq_1.1.3+coq8.20-1build8_s390x.deb 1331222026-Jul-09 14:22
paramcoq_1.1.3+coq8.18-1build2.debian.tar.xz 32442024-Apr-01 14:43
paramcoq_1.1.3+coq8.18-1build2.dsc 21892024-Apr-01 14:43
paramcoq_1.1.3+coq8.18.orig.tar.gz 457592023-Dec-23 02:26
paramcoq_1.1.3+coq8.20-1build3.debian.tar.xz 33802025-Feb-19 06:25
paramcoq_1.1.3+coq8.20-1build3.dsc 21102025-Feb-19 06:25
paramcoq_1.1.3+coq8.20-1build4.debian.tar.xz 34122025-Jun-20 22:22
paramcoq_1.1.3+coq8.20-1build4.dsc 21102025-Jun-20 22:22
paramcoq_1.1.3+coq8.20-1build7.debian.tar.xz 35042026-Mar-04 17:35
paramcoq_1.1.3+coq8.20-1build7.dsc 21102026-Mar-04 17:35
paramcoq_1.1.3+coq8.20-1build8.debian.tar.xz 35202026-Jul-09 00:15
paramcoq_1.1.3+coq8.20-1build8.dsc 21102026-Jul-09 00:25
paramcoq_1.1.3+coq8.20.orig.tar.gz 458162024-Nov-21 03:47