add jackline & friends
This commit is contained in:
parent
c9f0292923
commit
842207b1f4
3 changed files with 120 additions and 0 deletions
21
packages/erm_xml.0.3.1/opam
vendored
Normal file
21
packages/erm_xml.0.3.1/opam
vendored
Normal file
|
@ -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"
|
26
packages/erm_xmpp.0.3/opam
vendored
Normal file
26
packages/erm_xmpp.0.3/opam
vendored
Normal file
|
@ -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"
|
73
packages/jackline.0.1.0/opam
vendored
Normal file
73
packages/jackline.0.1.0/opam
vendored
Normal file
|
@ -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"
|
||||
}
|
Loading…
Reference in a new issue