../ 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.orig.tar.gz 04-Mar-2026 09:33 68K libcoq-reglang_1.2.1-1build5_amd64.deb 04-Mar-2026 09:33 805K