../ libgmp-dev_6.1.2+dfsg-4_amd64.deb 26-Jul-2019 09:55 627728 libgmp10-doc_6.1.2+dfsg-4_all.deb 26-Jul-2019 10:07 172456 libgmp10_6.1.2+dfsg-4_amd64.deb 26-Jul-2019 10:05 250260 libgmpxx4ldbl_6.1.2+dfsg-4_amd64.deb 26-Jul-2019 10:07 22884