@@ -3313,9 +3313,6 @@ packages:
3313 # https://github.com/fpco/stackage/issues/2646
3313 # https://github.com/fpco/stackage/issues/2646
3314 - cron < 0.6
3314 - cron < 0.6
3316− # https://github.com/LeventErkok/sbv/issues/315
3319 # https://github.com/fpco/stackage/issues/2656
3316 # https://github.com/fpco/stackage/issues/2656
3320 - happstack-server < 7.5.0
3317 - happstack-server < 7.5.0
3321# end of packages
3318# end of packages
@@ -3684,6 +3681,7 @@ expected-test-failures:
3684 - rethinkdb
3681 - rethinkdb
3685 - rethinkdb-client-driver
3682 - rethinkdb-client-driver
3684+ - sbv # needs z3 >= 4.5 (Xenial has 4.4)
3687 - serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30
3685 - serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30
3688 - serversession-backend-redis # redis
3686 - serversession-backend-redis # redis
3689 - shake # Needs ghc on $PATH with some installed haskell packages
3687 - shake # Needs ghc on $PATH with some installed haskell packages