Index of /loongnix/25/pool/main/p/paramcoq/

../
paramcoq_1.1.3+coq8.20-1.debian.tar.xz             22-Sep-2025 07:36                3184
paramcoq_1.1.3+coq8.20-1.dsc                       22-Sep-2025 07:36                2111
paramcoq_1.1.3+coq8.20.orig.tar.gz                 22-Sep-2025 07:36               45816