this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Elliptic Curve Cryptography with primitives taken from Fiat"
3description: """
4An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA)
5algorithms using code from Fiat (<https://github.com/mit-plv/fiat-crypto>).
6
7The curves P224 (SECP224R1), P256 (SECP256R1), P384 (SECP384R1),
8P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package.
9"""
10maintainer: "Hannes Mehnert <hannes@mehnert.org>"
11authors: [
12 "Hannes Mehnert <hannes@mehnert.org>"
13 "Nathan Rebours <nathan.p.rebours@gmail.com>"
14 "Clément Pascutto <clement@tarides.com>"
15 "Etienne Millon <me@emillon.org>"
16# and from the fiat-crypto AUTHORS file
17 "Andres Erbsen <andreser@mit.edu>"
18 "Google Inc."
19 "Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>"
20 "Massachusetts Institute of Technology"
21 "Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>"
22]
23license: "MIT"
24homepage: "https://github.com/mirage/mirage-crypto"
25doc: "https://mirage.github.io/mirage-crypto/doc"
26bug-reports: "https://github.com/mirage/mirage-crypto/issues"
27depends: [
28 "conf-pkg-config" {build}
29 "dune" {>= "2.6"}
30 "ocaml" {>= "4.08.0"}
31 "cstruct" {>= "3.5.0"}
32 "dune-configurator"
33 "eqaf" {>= "0.7"}
34 "mirage-crypto" {=version}
35 "mirage-crypto-rng" {=version}
36 "mirage-crypto-pk" {with-test & =version}
37 "hex" {with-test}
38 "alcotest" {with-test}
39 "asn1-combinators" {with-test & >= "0.2.5" & < "0.3.0"}
40 "ppx_deriving_yojson" {with-test}
41 "ppx_deriving" {with-test}
42 "yojson" {with-test & >= "1.6.0"}
43]
44depopts: ["ocaml-freestanding"]
45conflicts: [
46 "mirage-xen" {< "6.0.0"}
47 "ocaml-freestanding" {< "0.4.1"}
48]
49build: [
50 ["dune" "subst"] {dev}
51 ["dune" "build" "-p" name "-j" jobs]
52 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
53]
54dev-repo: "git+https://github.com/mirage/mirage-crypto.git"
55tags: ["org:mirage"]
56x-commit-hash: "bdbc9e45346b7f04e985ecac90a548ae225b77b8"
57url {
58 src:
59 "https://github.com/mirage/mirage-crypto/releases/download/v0.10.0/mirage-crypto-v0.10.0.tbz"
60 checksum: [
61 "sha256=20915c53ddb658c53f588c414f13676bc8ad3cd734d9ed909225ea080dd8144d"
62 "sha512=ba7b5bcd7c57a2d4c998ffc76d901c94204a8a4c50f7ca0ef5c147779e3e4ab15631c6d032a7467fc110024b79dd0071824c6e424a272b1429ddd84ff37791a7"
63 ]
64}