[Pkg-ocaml-maint-commits] [cryptokit] branch upstream updated (c8502c6 -> d27833b)

[Stéphane Glondu]

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

glondu pushed a change to branch upstream
in repository cryptokit.

      from  c8502c6   Imported Upstream version 1.7
       new  5ada7a2   Imported Upstream version 1.8
       new  d27833b   Imported Upstream version 1.9

The 2 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 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(-)
 create mode 100644 ardivink.lua
 delete mode 100644 bootstrap.lua
 delete mode 100644 ci-main.lua

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