Update `rand` dependency
Open
- Dominant language
- F*
- Stars
- 138
- Forks
- 5
- PR merge metrics
- No merged PRs in 30d
Description
Depending on `rand` version `0.8.0` as we do now, means we can't depend on the latest `libcrux`, since that depends on `rand` version `0.9`, which introduced breaking changes.
Contributor guide
Assessment
This issue has not been assessed yet.