Dear everyone,
mirage - the tool - removed the support for choosing the
"mirage-random-stdlib" in mid-March 2020 (release v3.7.5). Nobody misses it.
Today, I archived the mirage-random-stdlib and mirage-random-test
repository. For all users of mirage-random-test: use mirage-crypto-rng
instead :) There are pending PRs for all reverse dependencies (which
will hit opam-repository with releases soon).
The motivation is to keep our code in a manageable state - remove
unnecessary abstractions where we can. Also, soon the mirage-random
abstraction may be history (see the mirage-time defunctorised thread for
further information).
Have a great day,
Hannes
