../ libgmp-dev_6.1.2+dfsg-1+deb9u1_amd64.deb 07-Sep-2023 09:19 631266 libgmp10-doc_6.1.2+dfsg-1+deb9u1_all.deb 07-Sep-2023 09:19 172112 libgmp10_6.1.2+dfsg-1+deb9u1_amd64.deb 07-Sep-2023 09:19 253088 libgmp3-dev_6.1.2+dfsg-1+deb9u1_amd64.deb 07-Sep-2023 09:19 15248 libgmpxx4ldbl_6.1.2+dfsg-1+deb9u1_amd64.deb 07-Sep-2023 09:19 22340