Upper bound GaloisInc/cryptol#275
commitcdb61131629cd2d13083b71a913246e3ec674031
authorMichael Snoyman <michael@snoyman.com>
dateTue 22 Sep 2015, 13:50 (11 years ago)
parent4df1906
build-constraints.yaml+3
@@ -1506,6 +1506,9 @@ packages:
15061506 # https://github.com/fpco/stackage/issues/846
15071507 - postgresql-simple < 0.5
15081508
1509+ # https://github.com/GaloisInc/cryptol/issues/275
1510+ - cryptol < 5.0
1511+
15091512# Package flags are applied to individual packages, and override the values of
15101513# global-flags
15111514package-flags: