News for package haskell-smtlib

None