Bugs for proofgeneral in Ubuntu Kinetic

There are currently no open bugs.