upstream: https://github.com/mirage/mirage-crypto
at main 52 lines 1.8 kB view raw
1opam-version: "2.0" 2synopsis: "Elliptic Curve Cryptography (fork of mirage-crypto-ec)" 3description: """ 4WARNING: This is an experimental fork of mirage-crypto-ec. Do not use in production. 5Use mirage-crypto-ec instead: https://github.com/mirage/mirage-crypto 6 7An implementation of key exchange (ECDH) and digital signature (ECDSA/EdDSA) 8algorithms using code from Fiat (<https://github.com/mit-plv/fiat-crypto>). 9 10The curves P256 (SECP256R1), P384 (SECP384R1), 11P521 (SECP521R1), and 25519 (X25519, Ed25519) are implemented by this package. 12""" 13maintainer: "Thomas Gazagnaire <thomas@gazagnaire.org>" 14authors: [ 15 "Hannes Mehnert <hannes@mehnert.org>" 16 "Nathan Rebours <nathan.p.rebours@gmail.com>" 17 "Clément Pascutto <clement@tarides.com>" 18 "Etienne Millon <me@emillon.org>" 19 "Virgile Robles <virgile.robles@protonmail.ch>" 20# and from the fiat-crypto AUTHORS file 21 "Andres Erbsen <andreser@mit.edu>" 22 "Google Inc." 23 "Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>" 24 "Massachusetts Institute of Technology" 25 "Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>" 26] 27license: "MIT" 28homepage: "https://tangled.org/gazagnaire.org/ocaml-crypto" 29bug-reports: "https://tangled.org/gazagnaire.org/ocaml-crypto/issues" 30depends: [ 31 "dune" {>= "2.7"} 32 "ocaml" {>= "4.13.0"} 33 "dune-configurator" 34 "eqaf" {>= "0.7"} 35 "crypto-rng" {=version} 36 "digestif" {>= "1.2.0"} 37 "alcotest" {with-test & >= "0.8.1"} 38 "asn1-combinators" {with-test & >= "0.3.1"} 39 "ohex" {with-test & >= "0.2.0"} 40 "ounit2" {with-test} 41] 42conflicts: [ 43 "ocaml-freestanding" 44] 45build: [ 46 ["dune" "subst"] {dev} 47 ["dune" "build" "-p" name "-j" jobs] 48 ["dune" "runtest" "-p" name "-j" jobs] {with-test} 49] 50dev-repo: "git+https://tangled.org/gazagnaire.org/ocaml-crypto.git" 51tags: ["org:mirage"] 52x-maintenance-intent: [ "(latest)" ]