From 5128a18e55f029cf3b5f14d81f4e076ffd6b551a Mon Sep 17 00:00:00 2001 From: Daniel Gorin Date: Sat, 17 Oct 2020 14:57:51 +0100 Subject: [PATCH] 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