mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-02-14 15:25:50 +01:00
Upper bound GaloisInc/cryptol#275
This commit is contained in:
parent
4df1906076
commit
cdb6113162
@ -1506,6 +1506,9 @@ packages:
|
|||||||
# https://github.com/fpco/stackage/issues/846
|
# https://github.com/fpco/stackage/issues/846
|
||||||
- postgresql-simple < 0.5
|
- postgresql-simple < 0.5
|
||||||
|
|
||||||
|
# https://github.com/GaloisInc/cryptol/issues/275
|
||||||
|
- cryptol < 5.0
|
||||||
|
|
||||||
# Package flags are applied to individual packages, and override the values of
|
# Package flags are applied to individual packages, and override the values of
|
||||||
# global-flags
|
# global-flags
|
||||||
package-flags:
|
package-flags:
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user