enable mini-egison and egison-pattern-src* (#5227)

This commit is contained in:
Jens Petersen 2020-03-18 16:05:40 +08:00
parent eaabf0fb10
commit 9ed4ffedb9

View File

@ -4135,8 +4135,8 @@ packages:
"Satoshi Egi <egi@egison.org> @egisatoshi":
- egison
- mini-egison
# - egison-pattern-src
# - egison-pattern-src-th-mode
- egison-pattern-src
- egison-pattern-src-th-mode
"Travis Cardwell <travis.cardwell@extrema.is> @TravisCardwell":
- ttc
@ -4731,9 +4731,6 @@ packages:
# https://github.com/commercialhaskell/stackage/issues/5218
- unliftio-core < 0.2
# https://github.com/commercialhaskell/stackage/issues/new
- mini-egison <1.0.0
# https://github.com/commercialhaskell/stackage/issues/5228
- extra < 1.7