Bugs for prooftree in Ubuntu Groovy

There are currently no open bugs.