debian/8.1-1.0-3

Samuel Mimram

@smimram

25844360 · Rebuild with latest coq. · Nov 18, 2007

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