Index of /repos/pool/main/p/paramcoq/

../
libcoq-paramcoq_1.1.3+coq8.16-3+b1_amd64.deb       31-Mar-2026 18:47    113K
libcoq-paramcoq_1.1.3+coq8.16-3+b1_i386.deb        31-Mar-2026 18:47    101K
libcoq-paramcoq_1.1.3+coq8.20-1+b4_amd64.deb       25-Mar-2026 18:34    114K
paramcoq_1.1.3+coq8.16-3.debian.tar.xz             01-Apr-2026 08:06    2892
paramcoq_1.1.3+coq8.16-3.dsc                       01-Apr-2026 08:06    2111
paramcoq_1.1.3+coq8.16.orig.tar.gz                 01-Apr-2026 08:06     45K
paramcoq_1.1.3+coq8.20-1.debian.tar.xz             29-Mar-2026 04:04    3184
paramcoq_1.1.3+coq8.20-1.dsc                       29-Mar-2026 04:04    2111
paramcoq_1.1.3+coq8.20.orig.tar.gz                 29-Mar-2026 04:04     45K