News for package haskell-smtlib