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 "ocamlfind" {build}
16 "ocamlbuild" {build}
17 "topkg" {build}
18 "ocb-stubblr" {build & >= "0.1.1-1"}
19 "ocaml" {>= "4.04.2"}
20 "cstruct" {>= "4.0.0"}
21 "mirage-runtime" {>= "3.7.0"}
22 "lwt" {>= "4.0.0"}
23 "mirage-unix" {with-test & >= "3.0.0" & < "5.0.0"}
24]
25depopts: [
26 "mirage-solo5"
27 "ocaml-freestanding"
28 "mirage-xen"
29]
30conflicts: [
31 "mirage-xen" {< "2.2.0" | >= "6.0.0"}
32]
33tags: [ "org:mirage"]
34available: [
35 arch = "arm" | arch = "x86_32" | arch = "x86_64" | arch = "arm64"
36]
37synopsis: "Entropy source for MirageOS unikernels"
38description: """
39mirage-entropy implements various entropy sources for MirageOS unikernels:
40- timer based ones (see [whirlwind RNG paper](https://www.ieee-security.org/TC/SP2014/papers/Not-So-RandomNumbersinVirtualizedLinuxandtheWhirlwindRNG.pdf))
41- rdseed and rdrand (x86/x86-64 only)
42"""
43
44url {
45 src:
46 "https://github.com/mirage/mirage-entropy/releases/download/v0.5.0/mirage-entropy-0.5.0.tbz"
47 checksum: [
48 "sha256=3857d3a1d2fd429a8732d2696f1d08352d91945ec7564adc2e152cfafa30ceb5"
49 "md5=395ea04f5d149422d90383fbeccb10a2"
50 ]
51}
52authors: ["Hannes Mehnert" "David Kaloper" "Anil Madhavapeddy" "Dave Scott"]
53flags: deprecated
54post-messages: [ "mirage-entropy is deprecated" ]