Use the last version of Miou

mirage · May 3, 2024 · f5dab1a · f5dab1a
1 parent 2f56ead
commit f5dab1a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/mirage-crypto-rng-miou-unix.opam b/mirage-crypto-rng-miou-unix.opam
@@ -26,3 +26,7 @@ description: """
 Mirage-crypto-rng-miou-unix feeds the entropy source for Mirage_crypto_rng-based
 random number generator implementations, in an miou.unix-friendly way.
 """
+
+pin-depends: [
+  [ "miou.dev" "git+https://github.com/robur-coop/miou.git#ed5087b832797616df073bd8ec9baed2ec4e474c" ]
+]