63 lines
2.1 KiB
Text
63 lines
2.1 KiB
Text
|
opam-version: "2.0"
|
||
|
|
homepage: "https://github.com/mirleft/ocaml-tls"
|
||
|
|
dev-repo: "git+https://github.com/mirleft/ocaml-tls.git"
|
||
|
|
bug-reports: "https://github.com/mirleft/ocaml-tls/issues"
|
||
|
|
doc: "https://mirleft.github.io/ocaml-tls/doc"
|
||
|
|
author: ["David Kaloper <david@numm.org>" "Hannes Mehnert <hannes@mehnert.org>"]
|
||
|
|
maintainer: ["Hannes Mehnert <hannes@mehnert.org>" "David Kaloper <david@numm.org>"]
|
||
|
|
license: "BSD-2-Clause"
|
||
|
|
|
||
|
|
build: [
|
||
|
|
["dune" "subst"] {dev}
|
||
|
|
["dune" "build" "-p" name "-j" jobs]
|
||
|
|
["dune" "runtest" "-p" name "-j" jobs] {with-test}
|
||
|
|
]
|
||
|
|
|
||
|
|
depends: [
|
||
|
|
"ocaml" {>= "4.08.0"}
|
||
|
|
"dune" {>= "1.0"}
|
||
|
|
"ppx_sexp_conv" {>= "v0.9.0"}
|
||
|
|
"ppx_cstruct" {>= "3.0.0"}
|
||
|
|
"cstruct" {>= "4.0.0"}
|
||
|
|
"cstruct-sexp"
|
||
|
|
"sexplib"
|
||
|
|
"mirage-crypto" {>= "0.8.1"}
|
||
|
|
"mirage-crypto-ec" {>= "0.10.0"}
|
||
|
|
"mirage-crypto-pk"
|
||
|
|
"mirage-crypto-rng" {>= "0.8.0"}
|
||
|
|
"x509" {>= "0.13.0"}
|
||
|
|
"domain-name" {>= "0.3.0"}
|
||
|
|
"fmt"
|
||
|
|
"rresult"
|
||
|
|
"cstruct-unix" {with-test & >= "3.0.0"}
|
||
|
|
"ounit2" {with-test & >= "2.2.0"}
|
||
|
|
"lwt" {>= "3.0.0"}
|
||
|
|
"duration"
|
||
|
|
"ptime" {>= "0.8.1"}
|
||
|
|
"hkdf"
|
||
|
|
"logs"
|
||
|
|
"alcotest" {with-test}
|
||
|
|
"randomconv" {with-test}
|
||
|
|
]
|
||
|
|
|
||
|
|
tags: [ "org:mirage"]
|
||
|
|
synopsis: "Transport Layer Security purely in OCaml"
|
||
|
|
description: """
|
||
|
|
Transport Layer Security (TLS) is probably the most widely deployed security
|
||
|
|
protocol on the Internet. It provides communication privacy to prevent
|
||
|
|
eavesdropping, tampering, and message forgery. Furthermore, it optionally
|
||
|
|
provides authentication of the involved endpoints. TLS is commonly deployed for
|
||
|
|
securing web services ([HTTPS](http://tools.ietf.org/html/rfc2818)), emails,
|
||
|
|
virtual private networks, and wireless networks.
|
||
|
|
|
||
|
|
TLS uses asymmetric cryptography to exchange a symmetric key, and optionally
|
||
|
|
authenticate (using X.509) either or both endpoints. It provides algorithmic
|
||
|
|
agility, which means that the key exchange method, symmetric encryption
|
||
|
|
algorithm, and hash algorithm are negotiated.
|
||
|
|
|
||
|
|
Read [further](https://nqsb.io) and our [Usenix Security 2015 paper](https://usenix15.nqsb.io).
|
||
|
|
"""
|
||
|
|
url {
|
||
|
|
src: "git+https://github.com/hannesm/ocaml-tls.git#timeout"
|
||
|
|
}
|