this repo has no description
anil.recoil.org
1opam-version: "2.0"
2homepage: "https://github.com/mirage/mirage-entropy"
3dev-repo: "git+https://github.com/mirage/mirage-entropy.git"
4bug-reports: "https://github.com/mirage/mirage-entropy/issues"
5doc: "https://mirage.github.io/mirage-entropy/doc"
6maintainer: "david@numm.org"
7license: "BSD-2-Clause"
8
9build: [ "ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%" "--tests" "false"
10 "--with-mirage-xen" "%{mirage-xen:installed}%"
11 "--with-mirage-solo5" "%{mirage-solo5:installed}%"
12 "--with-ocaml-freestanding" "%{ocaml-freestanding:installed}%"
13]
14depends: [
15 "ocaml" {>= "4.04.2"}
16 "ocamlfind" {build}
17 "ocamlbuild" {build}
18 "topkg" {build}
19 "ocb-stubblr" {build}
20 "cstruct"
21 "mirage-os-shim"
22 "lwt"
23]
24depopts: [
25 "mirage-solo5"
26 "ocaml-freestanding"
27 "mirage-xen"
28]
29conflicts: [
30 "ocb-stubblr" {< "0.1.0"}
31 "cstruct" {< "1.4.0"}
32 "mirage-xen" {< "2.2.0" | >= "6.0.0"}
33]
34tags: [ "org:mirage"]
35available:
36 arch = "arm" | arch = "x86_32" | arch = "x86_64" | arch = "x86_64" |
37 arch = "arm64"
38synopsis: "Entropy source for MirageOS unikernels"
39description: """
40mirage-entropy implements various entropy sources for MirageOS unikernels:
41- timer based ones (see [whirlwind RNG paper](https://www.ieee-security.org/TC/SP2014/papers/Not-So-RandomNumbersinVirtualizedLinuxandtheWhirlwindRNG.pdf))
42- rdseed and rdrand (x86/x86-64 only)
43
44## Documentation
45
46[](https://travis-ci.org/mirage/mirage-entropy)
47
48* Documentation: <https://mirage.github.io/mirage-entropy/doc>
49* WWW: <https://mirage.io>
50* E-mail: <mirageos-devel@lists.xenproject.org>
51* Issues: <https://github.com/mirage/mirage-entropy/issues>
52* IRC: `#mirage` on Freenode"""
53authors: ["Hannes Mehnert" "David Kaloper" "Anil Madhavapeddy" "Dave Scott"]
54url {
55 src:
56 "https://github.com/mirage/mirage-entropy/releases/download/0.4.1/mirage-entropy-0.4.1.tbz"
57 checksum: [
58 "sha256=6893c5b5624c9e069251739b0c793b148c4a1b23d86c9d8d8c543d3d4eb882c0"
59 "md5=42bfa3f40a77131eb7cbf750c7227a08"
60 ]
61}
62flags: deprecated
63post-messages: [ "mirage-entropy is deprecated" ]