debian/8.0pl3+8.1alpha-2

Samuel Mimram

@smimram

8d434647 · Fix a typo in doc-base. · May 10, 2006

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