../ coq-reglang_1.2.1-1build5.debian.tar.xz 08-Apr-2024 14:57 8768 coq-reglang_1.2.1-1build5.dsc 08-Apr-2024 14:57 2195 coq-reglang_1.2.1-4build12.debian.tar.xz 19-Feb-2025 14:52 8944 coq-reglang_1.2.1-4build12.dsc 19-Feb-2025 14:52 2120 coq-reglang_1.2.1-4build16.debian.tar.xz 01-Sep-2025 02:42 9004 coq-reglang_1.2.1-4build16.dsc 01-Sep-2025 02:42 2120 coq-reglang_1.2.1-4build21.debian.tar.xz 08-Mar-2026 02:00 9120 coq-reglang_1.2.1-4build21.dsc 08-Mar-2026 02:00 2120 coq-reglang_1.2.1.orig.tar.gz 21-Jan-2024 12:45 68K libcoq-reglang_1.2.1-1build5_amd64.deb 08-Apr-2024 21:36 805K libcoq-reglang_1.2.1-4build12_amd64.deb 20-Feb-2025 11:20 972K libcoq-reglang_1.2.1-4build16_amd64.deb 02-Sep-2025 02:52 970K libcoq-reglang_1.2.1-4build21_amd64.deb 08-Mar-2026 02:01 970K libcoq-reglang_1.2.1-4build21_amd64v3.deb 08-Mar-2026 02:02 970K