Opam dependencies #1

Merged

reynir merged 3 commits from tyre-dep into master 2025-01-22 10:54:31 +00:00

Conversation 0 Commits 3 Files changed 1 +3

3 commits

Author	SHA1	Message	Date
Reynir Björnsson	21caec5b71	And hmap as well	2025-01-21 16:06:15 +01:00
Reynir Björnsson	c3c6a8ecb9	Also depend on mirage-crypto-rng-miou-unix	2025-01-21 16:04:58 +01:00
Reynir Björnsson	39e8acb059	opam: depend on tyre	2025-01-21 16:03:40 +01:00