Patch attachments in coq-equations in Ubuntu Mantic

There are no patches associated with coq-equations in Ubuntu Mantic at this time.