Fix upper bound: sbv instead of cryptol
commita63d3cf98857a1c17b43091a8fe6907de64c94b6
authorMichael Snoyman <michael@snoyman.com>
dateWed 23 Sep 2015, 22:00 (11 years ago)
parent46557c5
build-constraints.yaml+1−1
@@ -1507,7 +1507,7 @@ packages:
15071507 - postgresql-simple < 0.5
15081508
15091509 # https://github.com/GaloisInc/cryptol/issues/275
1510− - cryptol < 5.0
1510+ - sbv < 5.0
15111511
15121512 # https://github.com/fpco/stackage/issues/856
15131513 - syb < 0.6