From 842207b1f4b8532c1af27356a9abc1912792e566 Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Tue, 28 Dec 2021 17:00:22 +0100
Subject: [PATCH] add jackline & friends

---
 packages/erm_xml.0.3.1/opam  | 21 +++++++++++
 packages/erm_xmpp.0.3/opam   | 26 +++++++++++++
 packages/jackline.0.1.0/opam | 73 ++++++++++++++++++++++++++++++++++++
 3 files changed, 120 insertions(+)
 create mode 100644 packages/erm_xml.0.3.1/opam
 create mode 100644 packages/erm_xmpp.0.3/opam
 create mode 100644 packages/jackline.0.1.0/opam

diff --git a/packages/erm_xml.0.3.1/opam b/packages/erm_xml.0.3.1/opam
new file mode 100644
index 0000000..5f4bf33
--- /dev/null
+++ b/packages/erm_xml.0.3.1/opam
@@ -0,0 +1,21 @@
+opam-version: "2.0"
+maintainer: "ygrek@autistici.org"
+license: "BSD3"
+homepage: "https://github.com/ermine/xml"
+depends: [
+  "ocaml"
+  "ocamlfind" {build}
+  "ocamlbuild" {build}
+]
+flags: light-uninstall
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
+  ["ocaml" "setup.ml" "-build"]
+  ["ocaml" "setup.ml" "-test"] {with-test}
+]
+install: ["ocaml" "setup.ml" "-install"]
+remove: ["ocamlfind" "remove" "erm_xml"]
+url {
+  src: "git+https://github.com/hannesm/xml.git"
+}
+synopsis: "XML stream parser"
diff --git a/packages/erm_xmpp.0.3/opam b/packages/erm_xmpp.0.3/opam
new file mode 100644
index 0000000..c420386
--- /dev/null
+++ b/packages/erm_xmpp.0.3/opam
@@ -0,0 +1,26 @@
+opam-version: "2.0"
+maintainer: "ygrek@autistici.org"
+license: "BSD3"
+homepage: "https://github.com/ermine/xmpp"
+depends: [
+  "ocaml"
+  "ocamlfind" {build}
+  "ocamlbuild" {build}
+  "erm_xml" {>= "0.3"}
+  "camlp4"
+  "mirage-crypto"
+  "mirage-crypto-rng"
+  "base64" {>= "3.0.0"}
+]
+flags: light-uninstall
+build: [
+  ["ocaml" "setup.ml" "-configure" "--prefix" prefix]
+  ["ocaml" "setup.ml" "-build"]
+  ["ocaml" "setup.ml" "-test"] {with-test}
+]
+install: ["ocaml" "setup.ml" "-install"]
+remove: ["ocamlfind" "remove" "erm_xmpp"]
+url {
+  src: "git+https://github.com/hannesm/xmpp.git#otr"
+}
+synopsis: "XMPP protocol implementation"
diff --git a/packages/jackline.0.1.0/opam b/packages/jackline.0.1.0/opam
new file mode 100644
index 0000000..ffc68e6
--- /dev/null
+++ b/packages/jackline.0.1.0/opam
@@ -0,0 +1,73 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Jackline - a minimalistic secure XMPP client"
+description: """
+Jackline uses several clean-slate libraries (OCaml-TLS, OCaml-OTR) and only has
+a minimal few features: no support for HTML markup, avatars, which music you're
+playing, timezone you're living in, ...
+
+Supported features:
+- single XMPP account
+- OTR (built-in and enabled by default)
+- strict TLS certificate verification
+- plain text (no HTML!)
+- [XEP-0184](http://xmpp.org/extensions/xep-0184.html) (Message Delivery Receipts)
+- _no_ import of OTR keys or configuration
+- _no_ plaintext connections to XMPP server
+
+Preserving three core properties:
+- any data written on disk (using lots of silly parens) by jackline will stay being readable by every future jackline version
+- once the initial configuration file (and private key and maybe password) is created, it will never be written to by jackline
+- jackline will never transmit any data or open a network connection unless initiated by you (this means no 'autoconnect on startup', or 'user is typing' indication sent).  There is an automated reconnect to the same server if the connection terminated.
+"""
+maintainer: ["Hannes Mehnert <hannes@mehnert.org>"]
+authors: ["Hannes Mehnert <hannes@mehnert.org>"]
+license: "BSD2"
+homepage: "https://github.com/hannesm/jackline"
+bug-reports: "https://github.com/hannesm/jackline/issues"
+depends: [
+  "dune" {>= "2.5"}
+  "ocaml" {>= "4.08"}
+  "ppx_sexp_conv" {build}
+  "ppx_deriving" {>= "0.14.0"}
+  "erm_xmpp" {>= "0.3"}
+  "tls" {>= "0.15.0"}
+  "mirage-crypto-pk" {>= "0.8.3"}
+  "x509" {>= "0.10.0"}
+  "domain-name" {>= "0.2.0"}
+  "lwt" {>= "0.5.3"}
+  "otr" {>= "0.2.1"}
+  "astring" {>= "0.8.3"}
+  "ptime" {>= "0.8.0"}
+  "notty" {>= "0.2.2"}
+  "sexplib" {>= "0.14.0"}
+  "hex" {>= "1.4.0"}
+  "uchar" {>= "0.0.2"}
+  "uucp" {>= "2.0.0"}
+  "uuseg" {>= "1.0.0"}
+  "uutf" {>= "1.0.0"}
+  "dns-client" {>= "4.5.0"}
+  "cstruct" {>= "6.0.0"}
+  "base64" {>= "3.4.0"}
+  "happy-eyeballs-lwt" {>= "0.1.1"}
+]
+build: [
+  ["dune" "subst"] {pinned}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+  ["sh" "-ex" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
+  ["sh" "-ex" "packaging/debian/create_package.sh"] {os-family = "debian"}
+]
+dev-repo: "git+https://github.com/hannesm/jackline.git"
+url {
+  src: "git+https://github.com/hannesm/jackline.git"
+}