debian/8.1-1.0-4

Samuel Mimram

@smimram

22fa0efb · Rebuild with latest version of coq. · Jan 19, 2008

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