Bugs for prover9-manual in Ubuntu Disco

There are currently no open bugs.