@@ -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
@@ -3710,7 +3713,6 @@ expected-test-failures:
37103713 - rethinkdb
37113714 - rethinkdb-client-driver
37123715 - riak
3713− - sbv # needs z3 >= 4.5 (Xenial has 4.4)
37143716 - serialport # "The tests need two serial ports as command line arguments" https://github.com/jputcu/serialport/issues/30
37153717 - serversession-backend-redis # redis
37163718 - shake # Needs ghc on $PATH with some installed haskell packages