use mirage-crypto 1.0 and randomconv 0.2, drop mirage-random dependency#521

Merged

dinosaure merged 1 commit intomirage:mainfrom hannesm:update

Aug 22, 2024

Commits on Aug 22, 2024

use mirage-crypto 1.0 and randomconv 0.2, drop mirage-random dependency

hannesm
authored and
dinosaure
committed