../ libgmp-dev_6.1.2+dfsg-4+deb10u1_amd64.deb 16-Oct-2023 14:03 626138 libgmp10-doc_6.1.2+dfsg-4+deb10u1_all.deb 16-Oct-2023 14:03 172588 libgmp10_6.1.2+dfsg-4+deb10u1_amd64.deb 16-Oct-2023 14:03 251472 libgmp3-dev_6.1.2+dfsg-4+deb10u1_amd64.deb 16-Oct-2023 14:03 15728 libgmpxx4ldbl_6.1.2+dfsg-4+deb10u1_amd64.deb 16-Oct-2023 14:03 23092