../ coq-reglang_1.2.1-1build5.debian.tar.xz 08-Apr-2024 11:27 8768 coq-reglang_1.2.1-1build5.dsc 08-Apr-2024 11:27 2195 coq-reglang_1.2.1-4build5.debian.tar.xz 17-Sep-2024 19:21 8792 coq-reglang_1.2.1-4build5.dsc 17-Sep-2024 19:21 2116 coq-reglang_1.2.1-4build8.debian.tar.xz 20-Dec-2024 17:46 8892 coq-reglang_1.2.1-4build8.dsc 20-Dec-2024 17:46 2116 coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 09:15 68K libcoq-reglang_1.2.1-1build5_amd64.deb 08-Apr-2024 18:06 805K libcoq-reglang_1.2.1-4build5_amd64.deb 20-Sep-2024 03:09 948K libcoq-reglang_1.2.1-4build8_amd64.deb 20-Dec-2024 17:46 972K