@@ -4135,8 +4135,8 @@ packages:
41354135 "Satoshi Egi <egi@egison.org> @egisatoshi":
41364136 - egison
41374137 - mini-egison
4138− # - egison-pattern-src
4139− # - egison-pattern-src-th-mode
4138+ - egison-pattern-src
4139+ - egison-pattern-src-th-mode
41404140
41414141 "Travis Cardwell <travis.cardwell@extrema.is> @TravisCardwell":
41424142 - ttc
@@ -4731,9 +4731,6 @@ packages:
47314731 # https://github.com/commercialhaskell/stackage/issues/5218
47324732 - unliftio-core < 0.2
47334733
4734− # https://github.com/commercialhaskell/stackage/issues/new
4735− - mini-egison <1.0.0
4736−
47374734 # https://github.com/commercialhaskell/stackage/issues/5228
47384735 - extra < 1.7
47394736