Bugs for gmp-doc in Ubuntu Bionic

There are currently no open bugs.