Patch attachments

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