Patch attachments

There are no patches associated with coq-math-classes in Ubuntu at this time.