debian/8.1-1.0-2

Samuel Mimram

@smimram

2e6e312c · Rebuild with latest version of coq. · Sep 09, 2007

[svn-buildpackage] Tagging coq-float (8.1-1.0-2)