mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-12 15:28:29 +01:00
cryptol still fails
This commit is contained in:
parent
6a0db9a16e
commit
bf3dac17b0
@ -1377,7 +1377,7 @@ packages:
|
||||
# - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
|
||||
|
||||
"Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
|
||||
- cryptol # https://github.com/fpco/stackage/issues/2927
|
||||
# cryptol # https://github.com/fpco/stackage/issues/2927
|
||||
- gitrev
|
||||
- persistent-refs
|
||||
|
||||
|
||||
Loading…
Reference in New Issue
Block a user