Bugs for mpfr4 in Ubuntu Jammy

There are currently no open bugs.