debian/8.0pl3+8.1beta.2-1

Samuel Mimram

@smimram

fe0e26c7 · Remove empty files. · Jul 13, 2006

[svn-buildpackage] Tagging coq-doc (8.0pl3+8.1beta.2-1)