this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "thomas@gazagnaire.org"
3homepage: "https://github.com/mirage/mirage-random"
4bug-reports: "https://github.com/mirage/mirage-random/issues"
5dev-repo: "git+https://github.com/mirage/mirage-random.git"
6doc: "https://mirage.github.io/mirage-random/"
7authors: ["Thomas Gazagnaire" "Anil Madhavapeddy" "Gabriel Radanne"
8 "Mindy Preston" "Thomas Leonard" "Nicolas Ojeda Bar"
9 "Dave Scott" "David Kaloper" "Hannes Mehnert" "Richard Mortier"]
10tags: [ "org:mirage"]
11license: "ISC"
12
13build: [
14 [ "dune" "subst" ] {dev}
15 [ "dune" "build" "-p" name "-j" jobs ]
16]
17
18depends: [
19 "dune" {>="1.1.0"}
20 "cstruct" {>= "4.0.0"}
21 "ocaml" {>= "4.08.0"}
22]
23
24synopsis: "Random-related devices for MirageOS"
25description: """
26mirage-random defines `Mirage_random.S` the signature for random-related devices for MirageOS.
27"""
28url {
29 src:
30 "https://github.com/mirage/mirage-random/releases/download/v3.0.0/mirage-random-v3.0.0.tbz"
31 checksum: [
32 "sha256=49fe3f281d6430cc1723ecabe47fc9b8e9b29d83cd5f0964f5d000fa014066cf"
33 "sha512=5d16855740e04f8efe5bcd5a7596ccffb5b927a616c5e6de4a5f5bd96e2f9f8f3b030d8b216156cac897d49a64b0f5bd7f89c30c787c3d9be63ab952c9984160"
34 ]
35}
36x-commit-hash: "2f2434c30cedb476b44b10c55cec0052f1eaa1f4"
37flags: deprecated
38post-messages: [ "mirage-random is deprecated" ]