Add data-hash

Dependency of agda
This commit is contained in:
Daniel Gorin 2020-10-17 14:57:51 +01:00
parent 026b8c05db
commit 5128a18e55

View File

@ -4128,6 +4128,7 @@ packages:
"Daniel Gorin <jcpetruzza@gmail.com> @jcpetruzza":
- barbies
- data-hash
"Eduard Sergeev <eduard.sergeev@gmail.com> @EduardSergeev":
- monad-memo