From edb305ea367284b0305e1fedf3da39e68546d7c5 Mon Sep 17 00:00:00 2001 From: Andreas Abel Date: Thu, 14 Jan 2021 19:31:21 +0100 Subject: [PATCH] [ #5801 #5819 ] take over grandfathered ListLike --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 55ad639d..a161674e 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -27,6 +27,7 @@ packages: - STMonadTrans - Agda - agda2lagda + - ListLike "Diogo Biazus ": - hasql-notifications @@ -4507,7 +4508,6 @@ packages: - HsOpenSSL - HsYAML - JuicyPixels-scale-dct - - ListLike - MemoTrie - NumInstances - Only