@@ -3313,9 +3313,6 @@ packages:
33133313 # https://github.com/fpco/stackage/issues/2646
33143314 - cron < 0.6
33153315
3316− # https://github.com/LeventErkok/sbv/issues/315
3317− - sbv < 7.0
3318−
33193316 # https://github.com/fpco/stackage/issues/2656
33203317 - happstack-server < 7.5.0
33213318# end of packages
@@ -3684,6 +3681,7 @@ expected-test-failures:
36843681 - rethinkdb
36853682 - rethinkdb-client-driver
36863683 - riak
3684+ - sbv # needs z3 >= 4.5 (Xenial has 4.4)
36873685 - serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30
36883686 - serversession-backend-redis # redis
36893687 - shake # Needs ghc on $PATH with some installed haskell packages