Patch attachments in coq-equations in Ubuntu Oracular

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