Patch attachments in coq-quickchick in Ubuntu Oracular

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