From a1ec62d590cb83f73184af4cdb289f456b31504e Mon Sep 17 00:00:00 2001 From: swrup Date: Thu, 12 Mar 2026 19:02:22 +0100 Subject: [PATCH] specify mirage-mtime.solo5 --- src/dune | 1 + 1 file changed, 1 insertion(+) diff --git a/src/dune b/src/dune index 4d6e7e5d..e44363fe 100644 --- a/src/dune +++ b/src/dune @@ -22,6 +22,7 @@ mirage-crypto mirage-crypto-rng mirage-crypto-rng-mkernel + mirage-mtime.solo5 mirage-ptime.solo5 mfat ;