diff --git a/src/dune b/src/dune index 267586e1..4d6e7e5d 100644 --- a/src/dune +++ b/src/dune @@ -23,6 +23,7 @@ mirage-crypto-rng mirage-crypto-rng-mkernel mirage-ptime.solo5 + mfat ; b32 ;