blob: ba8e6eca1cdb40fb3a8ae268bc4d0bfa49cc4a94 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
name: "rand_chacha"
description: "ChaCha random number generator"
third_party {
url {
type: HOMEPAGE
value: "https://crates.io/crates/rand_chacha"
}
url {
type: ARCHIVE
value: "https://static.crates.io/crates/rand_chacha/rand_chacha-0.3.0.crate"
}
version: "0.3.0"
license_type: NOTICE
last_upgrade_date {
year: 2020
month: 12
day: 15
}
}
|