this repo has no description
anil.recoil.org
1opam-version: "2.0"
2homepage: "https://github.com/mirleft/ocaml-tls"
3dev-repo: "git+https://github.com/mirleft/ocaml-tls.git"
4bug-reports: "https://github.com/mirleft/ocaml-tls/issues"
5doc: "https://mirleft.github.io/ocaml-tls/doc"
6maintainer: ["Hannes Mehnert <hannes@mehnert.org>" "David Kaloper <david@numm.org>"]
7license: "BSD-2-Clause"
8
9build: [
10 ["dune" "subst"] {dev}
11 ["dune" "build" "-p" name "-j" jobs]
12 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
13]
14
15depends: [
16 "ocaml" {>= "4.08.0"}
17 "dune" {>= "1.0"}
18 "ppx_sexp_conv" {>= "v0.9.0"}
19 "ppx_cstruct" {>= "3.0.0"}
20 "cstruct" {>= "4.0.0"}
21 "cstruct-sexp"
22 "sexplib"
23 "mirage-crypto" {>= "0.8.1" & < "1.0.0"}
24 "mirage-crypto-pk" {< "1.0.0"}
25 "mirage-crypto-rng" {>= "0.8.0" & < "0.11.0"}
26 "x509" {>= "0.11.0" & < "0.12.0"}
27 "domain-name" {>= "0.3.0"}
28 "fmt"
29 "cstruct-unix" {with-test & >= "3.0.0"}
30 "ounit" {with-test & >= "2.2.0"}
31 "lwt" {>= "3.0.0"}
32 "ptime" {>= "0.8.1"}
33 "hacl_x25519"
34 "fiat-p256"
35 "hkdf" {< "2.0.0"}
36 "logs"
37 "alcotest" {with-test}
38]
39
40tags: [ "org:mirage"]
41synopsis: "Transport Layer Security purely in OCaml"
42description: """
43Transport Layer Security (TLS) is probably the most widely deployed security
44protocol on the Internet. It provides communication privacy to prevent
45eavesdropping, tampering, and message forgery. Furthermore, it optionally
46provides authentication of the involved endpoints. TLS is commonly deployed for
47securing web services ([HTTPS](http://tools.ietf.org/html/rfc2818)), emails,
48virtual private networks, and wireless networks.
49
50TLS uses asymmetric cryptography to exchange a symmetric key, and optionally
51authenticate (using X.509) either or both endpoints. It provides algorithmic
52agility, which means that the key exchange method, symmetric encryption
53algorithm, and hash algorithm are negotiated.
54
55Read our [Usenix Security 2015 paper](https://www.usenix.org/conference/usenixsecurity15/technical-sessions/presentation/kaloper-mersinjak).
56"""
57authors: [
58 "David Kaloper <david@numm.org>" "Hannes Mehnert <hannes@mehnert.org>"
59]
60url {
61 src:
62 "https://github.com/mirleft/ocaml-tls/releases/download/v0.12.7/tls-v0.12.7.tbz"
63 checksum: [
64 "sha256=ac9d7095c4418e35039c67ddb65c3f58f87b76cc1f6fc592722bd8ce2eabf0b0"
65 "sha512=ba47a646f1abc227164e5ad203a7af381f09830181ce74fff17ce1ea1aa09513349eeaa274fc91a6fc8adfeedf9ae9ccb02539581ad20a5e43f1e78961590e1b"
66 ]
67}