on master help sign in
Add data-hash

Dependency of agda

commit5128a18e55f029cf3b5f14d81f4e076ffd6b551a authorDaniel Gorin <jcpetruzza@gmail.com> dateSat 17 Oct 2020, 14:57 (6 years ago) parent026b8c0
1 file changed+1
build-constraints.yaml+1
build-constraints.yaml+1
@@ -4128,6 +4128,7 @@ packages:
41284128
41294129 "Daniel Gorin <jcpetruzza@gmail.com> @jcpetruzza":
41304130 - barbies
4131+ - data-hash
41314132
41324133 "Eduard Sergeev <eduard.sergeev@gmail.com> @EduardSergeev":
41334134 - monad-memo