Patch attachments

There are no patches associated with coq-simple-io in Ubuntu at this time.