From 026b8c05dbd33ed5e589bf9ca47b2de8ee11988b Mon Sep 17 00:00:00 2001 From: Daniel Gorin Date: Sat, 17 Oct 2020 14:45:15 +0100 Subject: [PATCH 1/2] Re-enable barbies Latest versions build in ghc 8.4 to 8.10 --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 8e34c458..f5799517 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -4127,7 +4127,7 @@ packages: - seqid-streams "Daniel Gorin @jcpetruzza": - - barbies < 0 + - barbies "Eduard Sergeev @EduardSergeev": - monad-memo From 5128a18e55f029cf3b5f14d81f4e076ffd6b551a Mon Sep 17 00:00:00 2001 From: Daniel Gorin Date: Sat, 17 Oct 2020 14:57:51 +0100 Subject: [PATCH 2/2] Add data-hash Dependency of agda --- build-constraints.yaml | 1 + 1 file changed, 1 insertion(+) diff --git a/build-constraints.yaml b/build-constraints.yaml index f5799517..97050c11 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -4128,6 +4128,7 @@ packages: "Daniel Gorin @jcpetruzza": - barbies + - data-hash "Eduard Sergeev @EduardSergeev": - monad-memo