News for package haskell-simple-smt