this repo has no description
anil.recoil.org
1opam-version: "2.0"
2homepage: "https://github.com/mirage/mirage-crypto"
3dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
4bug-reports: "https://github.com/mirage/mirage-crypto/issues"
5doc: "https://mirage.github.io/mirage-crypto/"
6maintainer: "Hannes Mehnert <hannes@mehnert.org>"
7license: "BSD-2-Clause"
8
9build: [
10 ["dune" "subst"] {dev}
11 ["dune" "build" "-p" name "-j" jobs]
12 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
13]
14depends: [
15 "dune" {>= "1.7.0"}
16 "ocaml" {>= "4.07.0"}
17 "cstruct" {>= "4.0.0"}
18 "mirage-runtime" {>= "3.7.0" & < "3.8.0"}
19 "lwt" {>= "4.0.0"}
20 "mirage-crypto" {=version}
21 "mirage-crypto-rng" {=version}
22 "mirage-unix" {with-test & >= "3.0.0"}
23]
24tags: [ "org:mirage"]
25available: [
26 arch = "x86_64" | arch = "arm64"
27]
28synopsis: "Entropy source for MirageOS unikernels"
29description: """
30Mirage-crypto-entropy implements various entropy sources for MirageOS unikernels:
31- timer based ones (see [whirlwind RNG paper](https://www.ieee-security.org/TC/SP2014/papers/Not-So-RandomNumbersinVirtualizedLinuxandtheWhirlwindRNG.pdf))
32- rdseed and rdrand (x86/x86-64 only)
33"""
34authors: ["Hannes Mehnert" "David Kaloper" "Anil Madhavapeddy" "Dave Scott"]
35url {
36 src:
37 "https://github.com/mirage/mirage-crypto/releases/download/v0.6.0/mirage-crypto-v0.6.0.tbz"
38 checksum: [
39 "sha256=85c2e419fb8215ff354988ee58f1335b452da41f1bf3022a62d29ab8af56d462"
40 "sha512=ea3f1a99f9e7e1d66198a8ca7a07ae2f11ac6ef49f2a8b3d14f414a70243db09ec79454200e423d3792f58effa421fe3213e5ee6efe5e9ec8e43fd3444dad22c"
41 ]
42}
43flags: deprecated