| name: "rand_xorshift" | |
| description: "Xorshift random number generator" | |
| third_party { | |
| url { | |
| type: HOMEPAGE | |
| value: "https://crates.io/crates/rand_xorshift" | |
| } | |
| url { | |
| type: ARCHIVE | |
| value: "https://static.crates.io/crates/rand_xorshift/rand_xorshift-0.3.0.crate" | |
| } | |
| version: "0.3.0" | |
| license_type: NOTICE | |
| last_upgrade_date { | |
| year: 2020 | |
| month: 12 | |
| day: 18 | |
| } | |
| } |