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

../
libcoq-paramcoq_1.1.3+coq8.16-3+b1_amd64.deb       25-Dec-2025 06:50    113K
libcoq-paramcoq_1.1.3+coq8.16-3+b1_i386.deb        25-Dec-2025 06:50    101K
libcoq-paramcoq_1.1.3+coq8.20-1+b4_amd64.deb       24-Dec-2025 10:54    114K
paramcoq_1.1.3+coq8.16-3.debian.tar.xz             25-Dec-2025 10:39    2892
paramcoq_1.1.3+coq8.16-3.dsc                       25-Dec-2025 10:39    2111
paramcoq_1.1.3+coq8.16.orig.tar.gz                 25-Dec-2025 10:39     45K
paramcoq_1.1.3+coq8.20-1.debian.tar.xz             24-Dec-2025 17:02    3184
paramcoq_1.1.3+coq8.20-1.dsc                       24-Dec-2025 17:02    2111
paramcoq_1.1.3+coq8.20.orig.tar.gz                 24-Dec-2025 17:02     45K