Patch attachments

There are no patches associated with haskell-smtlib in Ubuntu at this time.