Index of /pub/gwdg/ubuntu/22.04/pool/main/g/gmp/

../
libgmp-dev_6.2.1+dfsg-3ubuntu1_amd64.deb           17-Jan-2022 11:24              336684
libgmp-dev_6.2.1+dfsg-3ubuntu1_i386.deb            17-Jan-2022 11:24              356790
libgmp10-doc_6.2.1+dfsg-3ubuntu1_all.deb           17-Jan-2022 11:24              116060
libgmp10_6.2.1+dfsg-3ubuntu1_amd64.deb             17-Jan-2022 11:24              250148
libgmp10_6.2.1+dfsg-3ubuntu1_i386.deb              17-Jan-2022 11:24              264390
libgmp3-dev_6.2.1+dfsg-3ubuntu1_amd64.deb          17-Jan-2022 11:24                1818
libgmp3-dev_6.2.1+dfsg-3ubuntu1_i386.deb           17-Jan-2022 11:24                1820
libgmpxx4ldbl_6.2.1+dfsg-3ubuntu1_amd64.deb        17-Jan-2022 11:24                9580
libgmpxx4ldbl_6.2.1+dfsg-3ubuntu1_i386.deb         17-Jan-2022 11:24               10260