git.iko.soy/stackage
on master help sign in
Fix upper bound: sbv instead of cryptol
a63d3cfMichael Snoyman
build-constraints.yaml+1−1
compare with master
unifiedsplit
@@ -1507,7 +1507,7 @@ packages:
1507 - postgresql-simple < 0.5
1507 - postgresql-simple < 0.5
1508
1508
1509 # https://github.com/GaloisInc/cryptol/issues/275
1509 # https://github.com/GaloisInc/cryptol/issues/275
1510− - cryptol < 5.0
1510+ - sbv < 5.0
1511
1511
1512 # https://github.com/fpco/stackage/issues/856
1512 # https://github.com/fpco/stackage/issues/856
1513 - syb < 0.6
1513 - syb < 0.6