+ `(#:cargo-inputs (("rand-core" ,rust-rand-core-0.4))))))
+
+(define-public rust-rand-hc-0.1
+ (package
+ (name "rust-rand-hc")
+ (version "0.1.0")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "rand_hc" version))
+ (file-name (string-append name "-" version ".crate"))
+ (sha256
+ (base32
+ "1i0vl8q5ddvvy0x8hf1zxny393miyzxkwqnw31ifg6p0gdy6fh3v"))))
+ (build-system cargo-build-system)
+ (home-page "https://crates.io/crates/rand_hc")
+ (synopsis "HC128 random number generator")
+ (description "HC128 random number generator")
+ (properties '((hidden? . #t)))
+ (license (list license:asl2.0
+ license:expat))))
+
+(define-public rust-rand-isaac-0.1
+ (package
+ (name "rust-rand-isaac")
+ (version "0.1.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "rand_isaac" version))
+ (file-name (string-append name "-" version ".crate"))
+ (sha256
+ (base32
+ "027flpjr4znx2csxk7gxb7vrf9c7y5mydmvg5az2afgisp4rgnfy"))))
+ (build-system cargo-build-system)
+ (home-page "https://crates.io/crates/rand_isaac")
+ (synopsis "ISAAC random number generator")
+ (description "ISAAC random number generator")
+ (properties '((hidden? . #t)))
+ (license (list license:asl2.0
+ license:expat))))
+
+(define-public rust-rand-jitter-0.1
+ (package
+ (name "rust-rand-jitter")
+ (version "0.1.4")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "rand_jitter" version))
+ (file-name (string-append name "-" version ".crate"))
+ (sha256
+ (base32
+ "16z387y46bfz3csc42zxbjq89vcr1axqacncvv8qhyy93p4xarhi"))))
+ (build-system cargo-build-system)
+ (home-page "https://github.com/rust-random/rand")
+ (synopsis
+ "Random number generator based on timing jitter")
+ (description
+ "Random number generator based on timing jitter")
+ (properties '((hidden? . #t)))
+ (license (list license:asl2.0
+ license:expat))))
+
+(define-public rust-rand-os-0.1
+ (package
+ (name "rust-rand-os")
+ (version "0.1.3")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "rand_os" version))
+ (file-name (string-append name "-" version ".crate"))
+ (sha256
+ (base32
+ "0wahppm0s64gkr2vmhcgwc0lij37in1lgfxg5rbgqlz0l5vgcxbv"))))
+ (build-system cargo-build-system)
+ (home-page "https://crates.io/crates/rand_os")
+ (synopsis "OS backed Random Number Generator")
+ (description "OS backed Random Number Generator")
+ (properties '((hidden? . #t)))
+ (license (list license:asl2.0
+ license:expat))))
+
+(define-public rust-rand-pcg-0.1
+ (package
+ (name "rust-rand-pcg")
+ (version "0.1.2")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "rand_pcg" version))
+ (file-name (string-append name "-" version ".crate"))
+ (sha256
+ (base32
+ "0i0bdla18a8x4jn1w0fxsbs3jg7ajllz6azmch1zw33r06dv1ydb"))))
+ (build-system cargo-build-system)
+ (home-page "https://crates.io/crates/rand_pcg")
+ (synopsis
+ "Selected PCG random number generators")
+ (description
+ "Selected PCG random number generators")
+ (properties '((hidden? . #t)))
+ (license (list license:asl2.0
+ license:expat))))
+
+(define-public rust-rand-xorshift-0.1
+ (package
+ (name "rust-rand-xorshift")
+ (version "0.1.1")
+ (source
+ (origin
+ (method url-fetch)
+ (uri (crate-uri "rand_xorshift" version))
+ (file-name (string-append name "-" version ".crate"))
+ (sha256
+ (base32
+ "0p2x8nr00hricpi2m6ca5vysiha7ybnghz79yqhhx6sl4gkfkxyb"))))
+ (build-system cargo-build-system)
+ (home-page "https://crates.io/crates/rand_xorshift")
+ (synopsis "Xorshift random number generator")
+ (description
+ "Xorshift random number generator")
+ (properties '((hidden? . #t)))
+ (license (list license:asl2.0
+ license:expat))))