on master help sign in
Disable cryptol #2927
7e91c74Adam Bergmark
build-constraints.yaml+1−1
@@ -1396,7 +1396,7 @@ packages:
1396 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
1396 # - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
1397
1397
1398 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1398 "Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
1399− - cryptol
1399+ - cryptol < 0 # Happy setup-depends https://github.com/fpco/stackage/issues/2927
1400 - gitrev
1400 - gitrev
1401 - persistent-refs
1401 - persistent-refs
1402
1402