../ coq-reglang_1.2.1-1build5.debian.tar.xz 04-Mar-2026 09:33 8768 coq-reglang_1.2.1-1build5.dsc 04-Mar-2026 09:33 2195 coq-reglang_1.2.1-4build21.debian.tar.xz 22-Jul-2026 18:38 9120 coq-reglang_1.2.1-4build21.dsc 22-Jul-2026 18:38 2120 coq-reglang_1.2.1.orig.tar.gz 04-Mar-2026 09:33 68K libcoq-reglang_1.2.1-1build5_amd64.deb 04-Mar-2026 09:33 805K libcoq-reglang_1.2.1-4build21_amd64.deb 22-Jul-2026 18:38 970K