From d34ea9e93c601ee5d39fcfcdb6fc2f0524dd638b Mon Sep 17 00:00:00 2001 From: swrup Date: Thu, 12 Mar 2026 12:59:42 +0100 Subject: [PATCH] --- src/dune | 1 + 1 file changed, 1 insertion(+) 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 ;