@@ -3250,6 +3250,9 @@ packages:
32503250 "Matt Noonan <matt.noonan@gmail.com> @matt-noonan":
32513251 - justified-containers
32523252
3253+ "Levent Erkok <erkokl@gmail.com> @LeventErkok":
3254+ - sbv
3255+
32533256 # If you stop maintaining a package you can move it here.
32543257 # It will then be disabled if it starts causing problems.
32553258 # See https://github.com/fpco/stackage/issues/1056
@@ -3713,7 +3716,6 @@ expected-test-failures:
37133716 - rethinkdb
37143717 - rethinkdb-client-driver
37153718 - riak
3716− - sbv # needs z3 >= 4.5 (Xenial has 4.4)
37173719 - serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30
37183720 - serversession-backend-redis # redis
37193721 - shake # Needs ghc on $PATH with some installed haskell packages