Index of /ubuntu-ports/pool/main/m/mpfr4/

../
libmpfr-dev_4.1.0-3build3_arm64.deb                25-Mar-2022 19:38    256K
libmpfr-doc_4.1.0-3build3_all.deb                  25-Mar-2022 19:37    648K
libmpfr6_4.1.0-3build3_arm64.deb                   25-Mar-2022 19:38    240K