../ libfloat-coq_8.1-1.0-4_all.deb 19-Jan-2008 16:32 9M libfloat-coq_8.2-1.2-5_all.deb 03-Jul-2010 16:42 10M libfloat-coq_8.3pl1-4_all.deb 06-Jun-2012 21:47 16M libfloat-coq_8.4-4_all.deb 30-Jul-2014 08:21 11M