debian/8.0pl3+8.1beta-1

Samuel Mimram

@smimram

0df132d1 · New upstream release. · Jun 16, 2006

[svn-buildpackage] Tagging coq (8.0pl3+8.1beta-1)