debian/8.1.gamma-3

Samuel Mimram

@smimram

3ad70b16 · Correctly install coqdoc.sty. · Feb 04, 2007

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