[Pkg-ocaml-maint-commits] [cudf] branch upstream updated (c2f430c -> 8f27b34)

[Stefano Zacchiroli]

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

zack pushed a change to branch upstream
in repository cudf.

      from  c2f430c   Imported Upstream version 0.6.3
      adds  fd8ffb0   Imported Upstream version 0.7
      adds  8f27b34   Imported Upstream version 0.7

No new revisions were added by this update.

Summary of changes:
 BUGS               |   6 +--
 ChangeLog          |  13 +++++++
 INSTALL            |   1 +
 Makefile           |  18 ++++++---
 Makefile.config    |   2 +-
 README             |  32 +++++++++++-----
 TODO               |   6 +--
 cudf.ml            | 105 ++++++++++++++++++++++++++++++++++++++++-------------
 cudf.mli           |  20 ++++++++++
 cudf.spec          |   2 +-
 cudf_checker.ml    |   2 +-
 doc/.gitignore     |   1 +
 doc/Makefile       |  18 +++++++++
 doc/cudf-check.pod |  99 ++++++++++++++++++++++++++++++++++++++++++++++++++
 main_cudf_check.ml |  30 +++++++++------
 tests.ml           |  17 +++++++++
 16 files changed, 311 insertions(+), 61 deletions(-)
 create mode 100644 doc/.gitignore
 create mode 100644 doc/Makefile
 create mode 100644 doc/cudf-check.pod

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