../ libgmp-dev_6.0.0+dfsg-6_amd64.deb 24-Oct-2017 23:06 620744 libgmp10_6.0.0+dfsg-6_amd64.deb 24-Oct-2017 19:07 253270 libgmp3-dev_6.0.0+dfsg-6_amd64.deb 24-Oct-2017 19:01 14970 libgmpxx4ldbl_6.0.0+dfsg-6_amd64.deb 25-Oct-2017 00:25 22140