../ libdouble-conversion-dbg_2.0.1-3ubuntu2_amd64.deb 31-Jul-2015 15:28 95538 libdouble-conversion-dev_2.0.1-3ubuntu2_amd64.deb 31-Jul-2015 15:28 48214 libdouble-conversion1v5_2.0.1-3ubuntu2_amd64.deb 31-Jul-2015 15:28 33310