From f14cba89c4faab385bcfe5a85a9d5083f862d330 Mon Sep 17 00:00:00 2001 From: Daniel Mendler Date: Wed, 25 Jan 2017 23:24:19 +0100 Subject: [PATCH] add colorful-monoids --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index cbe54457..2550d988 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -2585,6 +2585,7 @@ packages: - unlit - intro - tasty-auto + - colorful-monoids "Taras Serduke @tserduke": - do-list