../ coq-reglang_1.2.1-1build5.debian.tar.xz 08-Apr-2024 08:57 8768 coq-reglang_1.2.1-1build5.dsc 08-Apr-2024 08:57 2195 coq-reglang_1.2.1-4build12.debian.tar.xz 19-Feb-2025 08:52 8944 coq-reglang_1.2.1-4build12.dsc 19-Feb-2025 08:52 2120 coq-reglang_1.2.1-4build5.debian.tar.xz 17-Sep-2024 16:51 8792 coq-reglang_1.2.1-4build5.dsc 17-Sep-2024 16:51 2116 coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 06:45 68K libcoq-reglang_1.2.1-1build5_amd64.deb 08-Apr-2024 15:36 805K libcoq-reglang_1.2.1-4build12_amd64.deb 20-Feb-2025 05:20 972K libcoq-reglang_1.2.1-4build5_amd64.deb 20-Sep-2024 00:39 948K