debian/8.1.gamma-2

Samuel Mimram

@smimram

4e72cf4a · Correctly install html documentation. · Jan 16, 2007

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