debian/8.0pl3+8.1alpha-2

Samuel Mimram

@smimram

fe730bab · Correct the FTBFS because of LaTeX. · Apr 30, 2006

[svn-buildpackage] Tagging coq (8.0pl3+8.1alpha-2)