This commit is contained in:
Adam Bergmark 2017-06-26 16:45:07 +02:00
parent 6d9678db7e
commit 222fe8aac1

View File

@ -1282,7 +1282,7 @@ packages:
- language-thrift
"Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
- cryptol
# - cryptol # bounds: sbv
- gitrev
- persistent-refs
@ -3157,9 +3157,6 @@ packages:
# https://github.com/fpco/stackage/issues/2127
- leapseconds-announced < 2017.0.0.1
# https://github.com/fpco/stackage/issues/2251
- sbv < 5.15
# https://github.com/fpco/stackage/issues/2317
- skylighting < 0.2