debian/8.1.gamma-1

Samuel Mimram

@smimram

27118a65 · Added faq-urldef.dpatch to workaround hevea bug #405994. · Jan 07, 2007

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