[Pkg-ocaml-maint-commits] [cryptokit] 03/07: Merge tag 'upstream/1.9'

Sat Nov 9 09:58:19 UTC 2013

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository cryptokit.

commit a2ea1553842e30cc6894a381bcf07e3132766819
Merge: 35ce70f d27833b
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Nov 9 10:48:14 2013 +0100

    Merge tag 'upstream/1.9'

    Upstream version 1.9

 Changes         |    9 +
 Makefile        |   18 ++
 README.txt      |    4 +-
 _oasis          |   38 ++--
 _tags           |    1 +
 ardivink.lua    |   14 ++
 bootstrap.lua   |   38 ----
 ci-main.lua     |   19 --
 myocamlbuild.ml |  365 ++++++++++++++++++++++++++++++--
 setup.ml        |  630 +++++++++++++++++++++++++++++++++++++++++++++----------
 src/META        |    4 +-
 11 files changed, 933 insertions(+), 207 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cryptokit.git