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 "ocaml" {>= "4.08.0"}
21]
22
23synopsis: "Random-related devices for MirageOS"
24description: """
25mirage-random defines `Mirage_random.S` the signature for random-related devices for MirageOS.
26"""
27url {
28 src:
29 "https://github.com/mirage/mirage-random/releases/download/v4.0.0/mirage-random-4.0.0.tbz"
30 checksum: [
31 "sha256=93d0a623f922f49a647231c6d4470752b2aabfed206eecfebaba5a5162074cd1"
32 "sha512=86e4776891f7c63e7622268af6f4c85a0c464bf8ce86f0db3c70b7971c0cc222d3791443da1e6e57ace18f803ba98714111fc1d9beccb030f68b8f126de93027"
33 ]
34}
35x-commit-hash: "5da4b2852b73baf28d2077bb4599947a72a1ec7e"
36flags: deprecated
37post-messages: [ "mirage-random is deprecated" ]
38x-maintenance-intent: ["(none)"]