···
2
+
homepage: "https://github.com/mirleft/ocaml-tls"
3
+
dev-repo: "git+https://github.com/mirleft/ocaml-tls.git"
4
+
bug-reports: "https://github.com/mirleft/ocaml-tls/issues"
5
+
doc: "https://mirleft.github.io/ocaml-tls/doc"
6
+
maintainer: ["Hannes Mehnert <hannes@mehnert.org>" "David Kaloper <david@numm.org>"]
7
+
license: "BSD-2-Clause"
10
+
["dune" "subst"] {dev}
11
+
["dune" "build" "-p" name "-j" jobs]
12
+
["dune" "runtest" "-p" name "-j" jobs] {with-test}
16
+
"ocaml" {>= "4.13.0"}
18
+
"mirage-crypto" {>= "1.1.0"}
19
+
"mirage-crypto-ec" {>= "1.0.0"}
20
+
"mirage-crypto-pk" {>= "1.0.0"}
21
+
"mirage-crypto-rng" {>= "1.0.0"}
23
+
"domain-name" {>= "0.3.0"}
25
+
"ounit2" {with-test & >= "2.2.0"}
30
+
"digestif" {>= "1.2.0"}
31
+
"alcotest" {with-test}
32
+
"cmdliner" {with-test & >= "1.3.0"}
34
+
conflicts: [ "result" {< "1.5"} ]
35
+
tags: [ "org:mirage"]
36
+
synopsis: "Transport Layer Security purely in OCaml"
38
+
Transport Layer Security (TLS) is probably the most widely deployed security
39
+
protocol on the Internet. It provides communication privacy to prevent
40
+
eavesdropping, tampering, and message forgery. Furthermore, it optionally
41
+
provides authentication of the involved endpoints. TLS is commonly deployed for
42
+
securing web services ([HTTPS](http://tools.ietf.org/html/rfc2818)), emails,
43
+
virtual private networks, and wireless networks.
45
+
TLS uses asymmetric cryptography to exchange a symmetric key, and optionally
46
+
authenticate (using X.509) either or both endpoints. It provides algorithmic
47
+
agility, which means that the key exchange method, symmetric encryption
48
+
algorithm, and hash algorithm are negotiated.
50
+
Read [further](https://nqsb.io) and our [Usenix Security 2015 paper](https://usenix15.nqsb.io).
53
+
"David Kaloper <david@numm.org>" "Hannes Mehnert <hannes@mehnert.org>"
57
+
"https://github.com/mirleft/ocaml-tls/releases/download/v1.0.0/tls-1.0.0.tbz"
59
+
"sha256=465c4a5c62f868025cd48fd09b2cbef8cf378d996386c09de1535be8407405a5"
60
+
"sha512=6ee0400f93d1294f44e68f7641a8fe95818aefabea41bb39cb384d4639d9023e2f0e82a75328ae603c575593ff154318d100de4e9d0951afc86e611002b3080e"
63
+
x-commit-hash: "95a90b6906a5a3f0c49de9d23ce9b7089db48ada"