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/doc"
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.2/mirage-crypto-v0.6.2.tbz"
38 checksum: [
39 "sha256=e2284dc0f8d37110f4713b87145a26a2bbce3e43f14be51e88de18db5922b823"
40 "sha512=2c9808261aec8498921e4dce2d66214e10dfe65e2c3729c081731d6c44abc0e990233e5398c9c2d31a97d1a40bdd38920c54817f572d3b592f4257ce85b331da"
41 ]
42}
43flags: deprecated
44x-maintenance-intent: ["(none)"]