Patch attachments in proofgeneral in Ubuntu Mantic

There are no patches associated with proofgeneral in Ubuntu Mantic at this time.