../ libgmp-dev_5.1.3+dfsg-1ubuntu1_amd64.deb 29-May-2018 14:08 291644 libgmp-dev_5.1.3+dfsg-1ubuntu1_i386.deb 29-May-2018 14:08 294138 libgmp10_5.1.3+dfsg-1ubuntu1_amd64.deb 01-Feb-2016 16:46 218280 libgmp10_5.1.3+dfsg-1ubuntu1_i386.deb 01-Feb-2016 16:10 229610 libgmpxx4ldbl_5.1.3+dfsg-1ubuntu1_amd64.deb 29-May-2018 14:10 8736 libgmpxx4ldbl_5.1.3+dfsg-1ubuntu1_i386.deb 29-May-2018 14:14 8638