diff --git a/packages/albatross.1.3.0~pre/opam b/packages/albatross.1.3.0~pre/opam index c4be6ac..e93d4ee 100644 --- a/packages/albatross.1.3.0~pre/opam +++ b/packages/albatross.1.3.0~pre/opam @@ -24,7 +24,7 @@ depends: [ "astring" "jsonm" "x509" {>= "0.13.0"} - "tls" {>= "0.13.1"} + "tls" {>= "0.13.1" & < "0.14.0"} "mirage-crypto" "mirage-crypto-pk" "mirage-crypto-rng" {>= "0.8.0"} diff --git a/packages/mirage-unikernel-roburio-hvt.0.0.2/opam b/packages/mirage-unikernel-roburio-hvt.0.0.2/opam index 4dc3bbe..e07e4f7 100644 --- a/packages/mirage-unikernel-roburio-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-roburio-hvt.0.0.2/opam @@ -41,7 +41,7 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"} "solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"} "syndic" { >= "1.5"} "tcpip" { >= "6.1.0" & < "7.0.0"} - "tls-mirage" + "tls-mirage" { >= "0.13.0" & < "0.14.0"} "tyxml" { >= "4.0.0"} "uuidm" ] diff --git a/packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam b/packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam index 6c06a81..4c1dab0 100644 --- a/packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-tlstunnel-hvt.0.0.1/opam @@ -22,7 +22,7 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"} "ocamlfind" {build} "solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"} "tcpip" { >= "6.1.0" & < "7.0.0"} - "tls-mirage" + "tls-mirage" { >= "0.13.0" & < "0.14.0"} ] maintainer: "dummy" authors: "dummy" diff --git a/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam b/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam index b354262..44b9d9b 100644 --- a/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-tlstunnel-monitoring-hvt.0.0.1/opam @@ -25,7 +25,7 @@ depends: [ "arp" { >= "2.3.0" & < "3.0.0"} "ocamlfind" {build} "solo5-bindings-hvt" { >= "0.6.0" & < "0.7.0"} "tcpip" { >= "6.1.0" & < "7.0.0"} - "tls-mirage" + "tls-mirage" { >= "0.14"} ] maintainer: "dummy" authors: "dummy" diff --git a/packages/openvpn.0.0.1~dev/opam b/packages/openvpn.0.0.1~dev/opam index da68fa1..685973c 100644 --- a/packages/openvpn.0.0.1~dev/opam +++ b/packages/openvpn.0.0.1~dev/opam @@ -38,7 +38,7 @@ depends: [ "mirage-crypto-rng" {>= "0.8.0"} "ptime" "rresult" - "tls" {>= "0.13.0"} + "tls" {>= "0.13.0" & < "0.14.0"} "dns-client" {>= "5.0.0"} "x509" {>= "0.13.0"} "duration" diff --git a/packages/tls-mirage.0.14.0~dev/opam b/packages/tls-mirage.0.14.0~dev/opam new file mode 100644 index 0000000..d5bfaa2 --- /dev/null +++ b/packages/tls-mirage.0.14.0~dev/opam @@ -0,0 +1,40 @@ +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 " "Hannes Mehnert "] +maintainer: ["Hannes Mehnert " "David Kaloper "] +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" +} diff --git a/packages/tls.0.14.0~dev/opam b/packages/tls.0.14.0~dev/opam new file mode 100644 index 0000000..8833825 --- /dev/null +++ b/packages/tls.0.14.0~dev/opam @@ -0,0 +1,62 @@ +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 " "Hannes Mehnert "] +maintainer: ["Hannes Mehnert " "David Kaloper "] +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" +}