coq-reglang_1.2.1-4.debian.tar.xz
coq-reglang_1.2.1-4.dsc
coq-reglang_1.2.1.orig.tar.gz
libcoq-reglang_1.2.1-4+b24_amd64.deb