coq-reglang_1.2.2-5.debian.tar.xz
coq-reglang_1.2.2-5.dsc
coq-reglang_1.2.2.orig.tar.gz
libcoq-reglang_1.2.2-5+b1_amd64.deb