debian/8.1-1

Samuel Mimram

@smimram

f3f4a615 · Allow building with texlive. · Feb 13, 2007

[svn-buildpackage] Tagging coq-doc (8.1-1)