../ coq-reglang_1.2.2-5.debian.tar.xz 12-Aug-2026 07:01 9672 coq-reglang_1.2.2-5.dsc 12-Aug-2026 07:01 2148 coq-reglang_1.2.2.orig.tar.gz 30-Oct-2025 07:18 69740 libcoq-reglang_1.2.2-5+b3_amd64.deb 02-Nov-2026 07:01 887040 libcoq-reglang_1.2.2-5+b3_arm64.deb 02-Nov-2026 07:01 887232