../ libgmp-dev_5.1.3+dfsg-1ubuntu1_amd64.deb 06-Jan-2014 15:23 291644 libgmp10-doc_5.1.3+dfsg-1ubuntu1_all.deb 06-Jan-2014 15:23 161236 libgmp10_5.1.3+dfsg-1ubuntu1_amd64.deb 06-Jan-2014 15:23 218280 libgmp3-dev_5.1.3+dfsg-1ubuntu1_amd64.deb 06-Jan-2014 15:23 1866 libgmpxx4ldbl_5.1.3+dfsg-1ubuntu1_amd64.deb 06-Jan-2014 15:23 8736