[Pkg-ocaml-maint-commits] [cudf] branch master updated (11df4b3 -> 9383e70)

[Stefano Zacchiroli]

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

zack pushed a change to branch master
in repository cudf.

      from  11df4b3   bump standards-version
       new  fd8ffb0   Imported Upstream version 0.7
       new  8f27b34   Imported Upstream version 0.7
       new  c1f0e3b   Merge tag 'upstream/0.7'
       new  678e47a   new upstream release: 0.7
       new  435ab94   bump Standards-Version to 3.9.5 (no change)
       new  9383e70   upload 0.7-1 to experimental

The 6 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:
 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 +-
 debian/changelog           |  11 +++++
 debian/control             |   5 ++-
 debian/cudf-check.1        |  33 --------------
 debian/cudf-tools.manpages |   2 +-
 doc/.gitignore             |   1 +
 doc/Makefile               |  18 ++++++++
 doc/cudf-check.pod         |  99 ++++++++++++++++++++++++++++++++++++++++++
 main_cudf_check.ml         |  30 +++++++------
 tests.ml                   |  17 ++++++++
 20 files changed, 326 insertions(+), 97 deletions(-)
 delete mode 100644 debian/cudf-check.1
 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