mirror of
https://github.com/commercialhaskell/stackage.git
synced 2026-01-27 22:50:24 +01:00
Re-enable cryptol, closes #2927
This commit is contained in:
parent
8120db318d
commit
be8ebd99c9
@ -1396,7 +1396,7 @@ packages:
|
|||||||
# - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
|
# - language-thrift # megaparsec bounds: https://github.com/fpco/stackage/issues/2666
|
||||||
|
|
||||||
"Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
|
"Adam C. Foltzer <acfoltzer@galois.com> @acfoltzer":
|
||||||
# cryptol # https://github.com/fpco/stackage/issues/2927
|
- cryptol
|
||||||
- gitrev
|
- gitrev
|
||||||
- persistent-refs
|
- persistent-refs
|
||||||
|
|
||||||
|
|||||||
Loading…
Reference in New Issue
Block a user