../ coq-reglang_1.1.3-2.debian.tar.xz 26-Jan-2023 18:29 8392 coq-reglang_1.1.3-2.dsc 26-Jan-2023 18:29 2111 coq-reglang_1.1.3.orig.tar.gz 16-Jul-2022 02:51 65K coq-reglang_1.2.1-4.debian.tar.xz 04-Aug-2024 12:07 8632 coq-reglang_1.2.1-4.dsc 04-Aug-2024 12:07 1888 coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 01:58 68K libcoq-reglang_1.1.3-2+b1_amd64.deb 13-Feb-2023 13:13 708K libcoq-reglang_1.2.1-4+b14_amd64.deb 15-Jun-2025 10:06 855K