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

../
libcoq-paramcoq_1.1.3+coq8.20-1+b4_amd64.deb       11-Aug-2026 00:31    114K
paramcoq_1.1.3+coq8.20-1.debian.tar.xz             11-Aug-2026 04:44    3184
paramcoq_1.1.3+coq8.20-1.dsc                       11-Aug-2026 04:44    2111
paramcoq_1.1.3+coq8.20.orig.tar.gz                 11-Aug-2026 04:44     45K