1name: "rand_xorshift"
2description: "Xorshift random number generator"
3third_party {
4  version: "0.3.0"
5  license_type: NOTICE
6  last_upgrade_date {
7    year: 2020
8    month: 12
9    day: 18
10  }
11  homepage: "https://crates.io/crates/rand_xorshift"
12  identifier {
13    type: "Archive"
14    value: "https://static.crates.io/crates/rand_xorshift/rand_xorshift-0.3.0.crate"
15    version: "0.3.0"
16  }
17}
18