debian/8.1-1.0-1

Samuel Mimram

@smimram

09c485bc · Use right directory for tags. · Aug 30, 2007

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