../ coq-reglang_1.2.1-1build5.debian.tar.xz 06-May-2024 18:58 8768 coq-reglang_1.2.1-1build5.dsc 06-May-2024 18:58 2195 coq-reglang_1.2.1.orig.tar.gz 06-May-2024 18:58 68K libcoq-reglang_1.2.1-1build5_amd64.deb 06-May-2024 18:58 805K