opam-version: "2.0"
homepage:     "https://github.com/mirage/mirage-entropy"
dev-repo: "git+https://github.com/mirage/mirage-entropy.git"
bug-reports:  "https://github.com/mirage/mirage-entropy/issues"
doc:          "https://mirage.github.io/mirage-entropy/doc"
maintainer:   "david@numm.org"
license:      "BSD-2-Clause"

build: [ "ocaml" "pkg/pkg.ml" "build" "--pinned" "%{pinned}%" "--tests" "false"
          "--with-mirage-xen" "%{mirage-xen:installed}%"
          "--with-mirage-solo5" "%{mirage-solo5:installed}%"
          "--with-ocaml-freestanding" "%{ocaml-freestanding:installed}%"
]
depends: [
  "ocaml" {>= "4.04.2"}
  "ocamlfind" {build}
  "ocamlbuild" {build}
  "topkg" {build}
  "ocb-stubblr" {build}
  "cstruct"
  "mirage-os-shim"
  "lwt"
]
depopts: [
  "mirage-solo5"
  "ocaml-freestanding"
  "mirage-xen"
]
conflicts: [
  "ocb-stubblr" {< "0.1.0"}
  "cstruct" {< "1.4.0"}
  "mirage-xen" {< "2.2.0" | >= "6.0.0"}
]
tags: [ "org:mirage"]
available:
  arch = "arm" | arch = "x86_32" | arch = "x86_64" | arch = "x86_64" |
  arch = "arm64"
synopsis: "Entropy source for MirageOS unikernels"
description: """
mirage-entropy implements various entropy sources for MirageOS unikernels:
- timer based ones (see [whirlwind RNG paper](https://www.ieee-security.org/TC/SP2014/papers/Not-So-RandomNumbersinVirtualizedLinuxandtheWhirlwindRNG.pdf))
- rdseed and rdrand (x86/x86-64 only)

## Documentation

[![Build Status](https://travis-ci.org/mirage/mirage-entropy.svg?branch=master)](https://travis-ci.org/mirage/mirage-entropy)

* Documentation: <https://mirage.github.io/mirage-entropy/doc>
* WWW: <https://mirage.io>
* E-mail: <mirageos-devel@lists.xenproject.org>
* Issues: <https://github.com/mirage/mirage-entropy/issues>
* IRC: `#mirage` on Freenode"""
authors: ["Hannes Mehnert" "David Kaloper" "Anil Madhavapeddy" "Dave Scott"]
url {
  src:
    "https://github.com/mirage/mirage-entropy/releases/download/0.4.1/mirage-entropy-0.4.1.tbz"
  checksum: [
    "sha256=6893c5b5624c9e069251739b0c793b148c4a1b23d86c9d8d8c543d3d4eb882c0"
    "md5=42bfa3f40a77131eb7cbf750c7227a08"
  ]
}
flags: deprecated
post-messages: [ "mirage-entropy is deprecated" ]