debian/8.1.pl2+dfsg-1

Samuel Mimram

@smimram

783b26ca · New upstream release. · Oct 15, 2007

[svn-buildpackage] Tagging coq (8.1.pl2+dfsg-1)