Bugs for proofgeneral in Ubuntu Precise

There are currently no open bugs.