robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

update jackline to recent changes

Browse source
This commit is contained in:
Hannes Mehnert 2023-02-24 18:10:35 +01:00
parent c84f4dfcb1
commit 547a9f5843
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
packages/jackline.0.1~dev/opam
View file

@ -1,4 +1,3 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0" opam-version: "2.0"
synopsis: "Jackline - a minimalistic secure XMPP client" synopsis: "Jackline - a minimalistic secure XMPP client"
description: """ description: """
@ -31,8 +30,10 @@ depends: [
"ppx_sexp_conv" {build} "ppx_sexp_conv" {build}
"ppx_deriving" {>= "0.14.0"} "ppx_deriving" {>= "0.14.0"}
"erm_xmpp" {> "0.3"} "erm_xmpp" {> "0.3"}
"tls" {>= "0.15.0"} "tls" {>= "0.16.0"}
"tls-lwt" {>= "0.16.0"}
"mirage-crypto-pk" {>= "0.8.3"} "mirage-crypto-pk" {>= "0.8.3"}
"mirage-crypto-rng" {>= "0.11.0"}
"x509" {>= "0.10.0"} "x509" {>= "0.10.0"}
"domain-name" {>= "0.2.0"} "domain-name" {>= "0.2.0"}
"lwt" {>= "0.5.3"} "lwt" {>= "0.5.3"}
@ -46,7 +47,7 @@ depends: [
"uucp" {>= "2.0.0"} "uucp" {>= "2.0.0"}
"uuseg" {>= "1.0.0"} "uuseg" {>= "1.0.0"}
"uutf" {>= "1.0.0"} "uutf" {>= "1.0.0"}
"dns-client" {>= "4.5.0"} "dns-client-lwt" {>= "7.0.0"}
"cstruct" {>= "6.0.0"} "cstruct" {>= "6.0.0"}
"base64" {>= "3.4.0"} "base64" {>= "3.4.0"}
"happy-eyeballs-lwt" {>= "0.1.1"} "happy-eyeballs-lwt" {>= "0.1.1"}