From 9ed4ffedb929a2a5b5e42a02d3cb51257d14370f Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Wed, 18 Mar 2020 16:05:40 +0800
Subject: [PATCH] enable mini-egison and egison-pattern-src* (#5227)

---
 build-constraints.yaml | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 02b95ca6..dc39a609 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -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