Patch attachments in coq in Ubuntu Focal

There are no patches associated with coq in Ubuntu Focal at this time.