@@ -1509,6 +1509,9 @@ packages:
1509 # https://github.com/GaloisInc/cryptol/issues/275
1509 # https://github.com/GaloisInc/cryptol/issues/275
1510 - cryptol < 5.0
1510 - cryptol < 5.0
1512+ # https://github.com/fpco/stackage/issues/856
1512# Package flags are applied to individual packages, and override the values of
1515# Package flags are applied to individual packages, and override the values of
1513# global-flags
1516# global-flags
1514package-flags:
1517package-flags: