../ coq-reglang_1.1.3-2.debian.tar.xz 31-Oct-2025 09:21 8392 coq-reglang_1.1.3-2.dsc 31-Oct-2025 09:21 2111 coq-reglang_1.1.3.orig.tar.gz 31-Oct-2025 09:21 67023 coq-reglang_1.2.1-4.debian.tar.xz 31-Oct-2025 09:21 8632 coq-reglang_1.2.1-4.dsc 31-Oct-2025 09:21 1888 coq-reglang_1.2.1.orig.tar.gz 31-Oct-2025 09:21 69424 libcoq-reglang_1.1.3-2+b1_amd64.deb 31-Oct-2025 09:21 724528 libcoq-reglang_1.2.1-4+b14_amd64.deb 31-Oct-2025 09:21 875484