debian-coq-tools_0.17_all.deb
dh-coq_0.17.dsc
dh-coq_0.17.tar.xz
dh-coq_0.17_all.deb