Index of /pub/gwdg/ubuntu/22.04/pool/main/m/mpfr4/

../
libmpfr-dev_4.1.0-3build3_amd64.deb                25-Mar-2022 11:37              271446
libmpfr-dev_4.1.0-3build3_i386.deb                 25-Mar-2022 11:39              277080
libmpfr-doc_4.1.0-3build3_all.deb                  25-Mar-2022 11:37              663510
libmpfr6_4.1.0-3build3_amd64.deb                   25-Mar-2022 11:37             1424734
libmpfr6_4.1.0-3build3_i386.deb                    25-Mar-2022 11:39             1467422