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.1.crate" | |
} | |
version: "0.3.1" | |
license_type: NOTICE | |
last_upgrade_date { | |
year: 2021 | |
month: 6 | |
day: 21 | |
} | |
} |