Index of /mirror-backup20260214/pool/universe/c/coq-reglang/

../
coq-reglang_1.2.1-4build18.debian.tar.xz           06-Nov-2025 09:20    9028
coq-reglang_1.2.1-4build18.dsc                     06-Nov-2025 09:20    2120
libcoq-reglang_1.2.1-4build18_amd64.deb            06-Nov-2025 20:01    970K
libcoq-reglang_1.2.1-4build18_amd64v3.deb          06-Nov-2025 20:01    970K