../ libfloat-coq_8.10.0-1_all.deb 19-Mar-2020 08:23 1224024 libfloat-coq_8.4-3_all.deb 21-Jan-2014 05:53 11436338 libfloat-coq_8.4-5build1_all.deb 04-Nov-2015 15:56 11448212