From a34f14b72141e15b4e062d2ec7b4d48185c803bd Mon Sep 17 00:00:00 2001
From: Dmitry Kovanikov <kovanikov@gmail.com>
Date: Sat, 17 Nov 2018 15:32:37 +0800
Subject: [PATCH 1/2] Add base-noprelude-4.12.0.0

---
 build-constraints.yaml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index 6fe40b7b..b5c95334 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3323,6 +3323,7 @@ packages:
 
     "Kowainik <xrom.xkov@gmail.com> @ChShersh":
         - base-noprelude == 4.11.1.0
+        - base-noprelude == 4.12.0.0
         - co-log-core
         - first-class-patterns
         - relude

From 57c51240d6f3cbcf9017e78ed8a5a4184226ca17 Mon Sep 17 00:00:00 2001
From: Dmitry Kovanikov <kovanikov@gmail.com>
Date: Sun, 18 Nov 2018 00:43:51 +0800
Subject: [PATCH 2/2] Remove base-noprelude-4.11.0.0

---
 build-constraints.yaml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/build-constraints.yaml b/build-constraints.yaml
index b5c95334..5a0e209c 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3322,7 +3322,6 @@ packages:
         - universum
 
     "Kowainik <xrom.xkov@gmail.com> @ChShersh":
-        - base-noprelude == 4.11.1.0
         - base-noprelude == 4.12.0.0
         - co-log-core
         - first-class-patterns