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" {>= "1.9.0"}
21 "ocaml" {>= "4.04.2"}
22]
23
24synopsis: "Random-related devices for MirageOS"
25description: """
26mirage-random defines `Mirage_random.S` and `Mirage_random.C` the signature for
27random-related devices for MirageOS.
28"""
29url {
30 src:
31 "https://github.com/mirage/mirage-random/releases/download/v1.2.0/mirage-random-v1.2.0.tbz"
32 checksum: [
33 "sha256=8016f9f81cb5dedb56b65fdf5b1c5e9419041df03b6bd11c0a8f12d5b2423f30"
34 "md5=a0458f255fd042b4434d4dcf1e177f84"
35 ]
36}
37flags: deprecated
38post-messages: [ "mirage-random is deprecated" ]