@@ -1506,6 +1506,9 @@ packages:
1506 # https://github.com/fpco/stackage/issues/846
1506 # https://github.com/fpco/stackage/issues/846
1507 - postgresql-simple < 0.5
1507 - postgresql-simple < 0.5
1509+ # https://github.com/GaloisInc/cryptol/issues/275
1509# Package flags are applied to individual packages, and override the values of
1512# Package flags are applied to individual packages, and override the values of
1510# global-flags
1513# global-flags
1511package-flags:
1514package-flags: