News for package haskell-sbv