From 81834295f632aab43d80fc3e72cf307bbb872367 Mon Sep 17 00:00:00 2001 From: mrkkrp Date: Fri, 19 Oct 2018 23:43:51 +0700 Subject: [PATCH] =?UTF-8?q?Remove=20=E2=80=98facts=E2=80=99?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The library is too experimental and has serious unsolved problems. I'd like to unburden myself and remove it for now. --- build-constraints.yaml | 1 - 1 file changed, 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 6d80d4d3..61c056e6 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -2339,7 +2339,6 @@ packages: - html-entity-map - mmark-cli - ghc-syntax-highlighter - - facts "Emmanuel Touzery @emmanueltouzery": - app-settings