on master help sign in
enable mini-egison and egison-pattern-src* (#5227)
9ed4ffeJens Petersen
build-constraints.yaml+2−5
@@ -4135,8 +4135,8 @@ packages:
4135 "Satoshi Egi <egi@egison.org> @egisatoshi":
4135 "Satoshi Egi <egi@egison.org> @egisatoshi":
4136 - egison
4136 - egison
4137 - mini-egison
4137 - mini-egison
4138− # - egison-pattern-src
4138+ - egison-pattern-src
4139− # - egison-pattern-src-th-mode
4139+ - egison-pattern-src-th-mode
4140
4140
4141 "Travis Cardwell <travis.cardwell@extrema.is> @TravisCardwell":
4141 "Travis Cardwell <travis.cardwell@extrema.is> @TravisCardwell":
4142 - ttc
4142 - ttc
@@ -4731,9 +4731,6 @@ packages:
4731 # https://github.com/commercialhaskell/stackage/issues/5218
4731 # https://github.com/commercialhaskell/stackage/issues/5218
4732 - unliftio-core < 0.2
4732 - unliftio-core < 0.2
4733
4733
4734− # https://github.com/commercialhaskell/stackage/issues/new
4735− - mini-egison <1.0.0
4736−
4737 # https://github.com/commercialhaskell/stackage/issues/5228
4734 # https://github.com/commercialhaskell/stackage/issues/5228
4738 - extra < 1.7
4735 - extra < 1.7
4739
4736