debian/8.0pl3+8.1beta.2-1

Samuel Mimram

@smimram

600cc313 · Check assertions in native mode too. · Jul 13, 2006

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