debian/8.1+dfsg-6

Samuel Mimram

@smimram

763b05d3 · Add dependencies on ${misc:Depends}. · Jul 04, 2007

[svn-buildpackage] Tagging coq (8.1+dfsg-6)