remove now superfluous mirage-crypto-rng-{lwt,eio,async}

we have Mirage_crypto_rng_unix.use_default () now, and by default use getrandom
mirage · Feb 5, 2025 · 4a54709 · 4a54709
1 parent fe7bad7
commit 4a54709
Show file tree

Hide file tree

Showing 16 changed files with 0 additions and 526 deletions.
diff --git a/mirage-crypto-rng-async.opam b/mirage-crypto-rng-async.opam
diff --git a/mirage-crypto-rng-eio.opam b/mirage-crypto-rng-eio.opam
diff --git a/mirage-crypto-rng-lwt.opam b/mirage-crypto-rng-lwt.opam
diff --git a/rng/async/dune b/rng/async/dune
diff --git a/rng/async/mirage_crypto_rng_async.ml b/rng/async/mirage_crypto_rng_async.ml
diff --git a/rng/async/mirage_crypto_rng_async.mli b/rng/async/mirage_crypto_rng_async.mli
diff --git a/rng/eio/dune b/rng/eio/dune
diff --git a/rng/eio/mirage_crypto_rng_eio.ml b/rng/eio/mirage_crypto_rng_eio.ml
diff --git a/rng/eio/mirage_crypto_rng_eio.mli b/rng/eio/mirage_crypto_rng_eio.mli
diff --git a/rng/lwt/dune b/rng/lwt/dune