2019-03-25 Backup

1 files changed, 11 insertions, 0 deletions

diff --git a/misc/pkglist.txt b/misc/pkglist.txt
index fcbb2f2..9c7694e 100644
--- a/misc/pkglist.txt
+++ b/misc/pkglist.txt
@@ -28,6 +28,7 @@ ircII-20170704p1    Internet Relay Chat client
 irssi-1.1.1p0       modular IRC client with many features (ipv6,socks,proxy)
 joe-4.6             Joe's Own Editor
 kcgi-0.10.7         minimal CGI library for web applications
+kona-3.2.0.20180522 open source implementation of the K programming language
 ksql-0.3.2          yet another SQLite wrapper
 kwebapp-0.5.6       web application source generator
 libident-0.32p1     library to interface the ident protocol server (rfc1413)
@@ -45,6 +46,16 @@ ncdu-1.13           ncurses-based du(1)
 neomutt-20180716-gpgme-sasl tty-based e-mail client, Mutt with patches
 nethack-3.6.0p0-no_x11 dungeon explorin', hackin', game.  Piece of cake
 node-8.12.0         V8 JavaScript for clients and servers
+ocaml-4.03.0p3      ML language with complete class-based objective system
+ocaml-cmdliner-0.9.8 declarative definition of command line interfaces
+ocaml-cppo-1.3.2    OCaml preprocessor
+ocaml-dose-3.3p5    software repository analysis in OCaml
+ocaml-extlib-1.7.0  extended standard library for OCaml
+ocaml-parmap-1.0rc7p2 OCaml parallel map primitive for multicores
+ocaml-re-1.4.1p0    regular expression library for OCaml
+omake-0.9.8.5pl3p7  build system designed for scalability and portability
+opam-1.2.2p2        OCaml source-based package manager
+ounit-2.0.0p2       unit test framework for OCaml
 password-store-1.7.3 simple password store
 pear-1.10.1p0       base classes for common PHP tasks
 php-7.0.32p1        server-side HTML-embedded scripting language