../ coq-reglang_1.1.3-2.debian.tar.xz 26-Jan-2023 12:44 8392 coq-reglang_1.1.3-2.dsc 26-Jan-2023 12:44 2111 coq-reglang_1.1.3.orig.tar.gz 15-Jul-2022 21:06 67023 coq-reglang_1.2.1-4.debian.tar.xz 30-Jan-2026 23:06 8632 coq-reglang_1.2.1-4.dsc 30-Jan-2026 23:06 1888 coq-reglang_1.2.1.orig.tar.gz 30-Jan-2026 23:06 69424 libcoq-reglang_1.1.3-2+b1_amd64.deb 13-Feb-2023 07:28 724528 libcoq-reglang_1.2.1-4+b14_amd64.deb 15-Jun-2025 04:21 875484