Patch attachments in coq-extructures in Ubuntu Oracular

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