From 113ae56bc6d2704d6122932d5822f7a383b02f19 Mon Sep 17 00:00:00 2001
From: Dmitrii Kovanikov <kovanikov@gmail.com>
Date: Sun, 19 Jan 2020 18:30:28 +0000
Subject: [PATCH 1/2] Add co-log family of packages

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index ed29fbf8..ea70e190 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -3561,8 +3561,9 @@ packages:
         - universum
 
     "Kowainik <xrom.xkov@gmail.com> @chshersh @vrom911":
-        - co-log < 0 # via base-4.13.0.0
-        - co-log-core < 0 # via base-4.13.0.0
+        - co-log-core
+        - co-log
+        - co-log-polysemy
         - first-class-patterns
         - ilist
         - relude

From 051124c7898f6d837056e691b8bf557827cfa804 Mon Sep 17 00:00:00 2001
From: Dan Burton <danburton.email@gmail.com>
Date: Mon, 20 Jan 2020 17:02:48 -0800
Subject: [PATCH 2/2] Unblock chronos, needed for #5085

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

diff --git a/build-constraints.yaml b/build-constraints.yaml
index c5f70bc0..4fe4f237 100644
--- a/build-constraints.yaml
+++ b/build-constraints.yaml
@@ -2126,7 +2126,7 @@ packages:
         - country < 0 # via base-4.13.0.0
         - semirings
         - torsor
-        - chronos < 0 # also test-framework
+        - chronos
 
     "Kostiantyn Rybnikov <k-bx@k-bx.com> @k-bx":
         - SHA