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.06.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/v2.0.0/mirage-random-v2.0.0.tbz"
31 checksum: [
32 "sha256=61db16e7c217f8093391c3e5513667a29124215ce17cabb95c73ceaa4b0b4462"
33 "sha512=9e8a8ba415c175225225e021429f219546cde2798c95bacb906368e68bec3eb9bbd849f8c4dabae8115f399fae7a23192665c2eb9314676120010090bcc07713"
34 ]
35}
36flags: deprecated
37post-messages: [ "mirage-random is deprecated" ]