remove temporary tls packages
This commit is contained in:
parent
c8161c0ecc
commit
531620eff8
3 changed files with 1 additions and 103 deletions
|
@ -25,7 +25,7 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"}
|
||||||
"ocamlfind" {build}
|
"ocamlfind" {build}
|
||||||
"solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"}
|
"solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"}
|
||||||
"tcpip" { >= "6.1.0" & < "7.0.0"}
|
"tcpip" { >= "6.1.0" & < "7.0.0"}
|
||||||
"tls-mirage" { >= "0.14"}
|
"tls-mirage" { >= "0.13.0" & < "0.14.0"}
|
||||||
]
|
]
|
||||||
maintainer: "dummy"
|
maintainer: "dummy"
|
||||||
authors: "dummy"
|
authors: "dummy"
|
||||||
|
|
|
@ -1,40 +0,0 @@
|
||||||
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"}
|
|
||||||
"tls" {= version}
|
|
||||||
"x509" {>= "0.13.0"}
|
|
||||||
"fmt"
|
|
||||||
"lwt" {>= "3.0.0"}
|
|
||||||
"mirage-flow" {>= "2.0.0"}
|
|
||||||
"mirage-kv" {>= "3.0.0"}
|
|
||||||
"mirage-clock" {>= "3.0.0"}
|
|
||||||
"mirage-time" {>= "2.0.0"}
|
|
||||||
"duration"
|
|
||||||
"ptime" {>= "0.8.1"}
|
|
||||||
"mirage-crypto"
|
|
||||||
"duration"
|
|
||||||
]
|
|
||||||
tags: [ "org:mirage"]
|
|
||||||
synopsis: "Transport Layer Security purely in OCaml, MirageOS layer"
|
|
||||||
description: """
|
|
||||||
Tls-mirage provides an effectful FLOW module to be used in the MirageOS
|
|
||||||
ecosystem.
|
|
||||||
"""
|
|
||||||
url {
|
|
||||||
src: "git+https://github.com/hannesm/ocaml-tls.git#timeout"
|
|
||||||
}
|
|
|
@ -1,62 +0,0 @@
|
||||||
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"
|
|
||||||
}
|
|
Loading…
Reference in a new issue