../ libgmp-dev_6.0.0+dfsg-6_amd64.deb 17-Aug-2014 19:52 620744 libgmp10_6.0.0+dfsg-6_amd64.deb 17-Aug-2014 19:52 253270 libgmp3-dev_6.0.0+dfsg-6_amd64.deb 17-Aug-2014 19:52 14970 libgmpxx4ldbl_6.0.0+dfsg-6_amd64.deb 17-Aug-2014 19:52 22140