Index of /debian/pool/main/p/paramcoq/

../
libcoq-paramcoq_1.1.3+coq8.20-1+b4_amd64.deb       18-Oct-2026 15:45    114K
paramcoq_1.1.3+coq8.20-1.debian.tar.xz             18-Oct-2026 15:45    3184
paramcoq_1.1.3+coq8.20-1.dsc                       18-Oct-2026 15:45    2111
paramcoq_1.1.3+coq8.20.orig.tar.gz                 18-Oct-2026 15:45     45K