···11+## Pending
22+33+* Use arc4random_buf instead of getrandom on Android before getrandom
44+ became available in API 28.
55+16## v2.0.0 (2025-02-03)
2738* Remove now superfluous mirage-crypto-rng-{eio,lwt,async} packages
+8-1
rng/unix/mc_getrandom_stubs.c
···99#include <caml/unixsupport.h>
1010#include <caml/bigarray.h>
11111212-#if defined(__linux) || defined(__GNU__)
1212+#if defined(__ANDROID_API__) && __ANDROID_API__ < 28
1313+// on Android 27 and earlier, we use Google's <sys/random.h> recommended arc4random_buf
1414+# include <stdlib.h>
1515+1616+void raw_getrandom (uint8_t *data, size_t len) {
1717+ arc4random_buf(data, len);
1818+}
1919+#elif defined(__linux) || defined(__GNU__)
1320# include <errno.h>
1421// on Linux and GNU/Hurd, we use getrandom and loop
1522