···
+
synopsis: "Elliptic Curve Cryptography with primitives taken from Fiat"
+
An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA)
+
algorithms using code from Fiat (<https://github.com/mit-plv/fiat-crypto>).
+
The curves P224 (SECP224R1), P256 (SECP256R1), P384 (SECP384R1),
+
P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.
+
maintainer: "Hannes Mehnert <hannes@mehnert.org>"
+
"Hannes Mehnert <hannes@mehnert.org>"
+
"Nathan Rebours <nathan.p.rebours@gmail.com>"
+
"Clément Pascutto <clement@tarides.com>"
+
"Etienne Millon <me@emillon.org>"
+
# and from the fiat-crypto AUTHORS file
+
"Andres Erbsen <andreser@mit.edu>"
+
"Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>"
+
"Massachusetts Institute of Technology"
+
"Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>"
+
homepage: "https://github.com/mirage/mirage-crypto"
+
doc: "https://mirage.github.io/mirage-crypto/doc"
+
bug-reports: "https://github.com/mirage/mirage-crypto/issues"
+
"conf-pkg-config" {build}
+
"mirage-crypto" {=version}
+
"mirage-crypto-rng" {=version}
+
"mirage-crypto-pk" {with-test & =version}
+
"asn1-combinators" {with-test & >= "0.2.5"}
+
"ppx_deriving_yojson" {with-test}
+
"ppx_deriving" {with-test}
+
"yojson" {with-test & >= "1.6.0"}
+
depopts: ["ocaml-freestanding"]
+
"mirage-xen" {< "6.0.0"}
+
"ocaml-freestanding" {< "0.4.1"}
+
["dune" "build" "-p" name "-j" jobs]
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
+
dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
+
"https://github.com/mirage/mirage-crypto/releases/download/v0.10.7/mirage-crypto-0.10.7.tbz"
+
"sha256=3e818a760c235c5b684c7b6b43b1cdd2a7dd04e0105b680d524f836eb988a69c"
+
"sha512=e9c3e6ac0fa3dae2dda9e91d5362ad08aaa65241b968a0c12484db4042146d6af7b46910784ce41bdd68783eede93f35a81aa37a2cd125dfc43503c78007b8b9"
+
x-commit-hash: "d3e519f93d2d9df1fb366aaf96996803518c8597"