[Pkg-ocaml-maint-commits] [cmdliner] branch master updated (cce3b98 -> d21081d)

[Stéphane Glondu]

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

glondu pushed a change to branch master
in repository cmdliner.

      from  cce3b98   Fix typo in changelog
       new  7e41bee   Update debian/watch
       new  5d676f6   Add debian/gbp.conf
       new  bf08f94   Imported Upstream version 0.9.5
       new  0dcafb4   Imported Upstream version 0.9.6
       new  f035d5a   Imported Upstream version 0.9.7
       new  cc93233   Merge tag 'upstream/0.9.7'
       new  40918b9   New upstream release
       new  9d9d5c6   Update Vcs-*
       new  619c9dd   Remove duplicate "section" field
       new  86f0fb8   Bump Standards-Version to 3.9.6
       new  d21081d   Update changelog and prepare upload to unstable

The 11 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:
 .ocp-indent                 |    1 +
 CHANGES.md                  |   47 +-
 README.md                   |    2 +-
 debian/changelog            |   10 +
 debian/control              |    7 +-
 debian/gbp.conf             |    2 +
 debian/watch                |    2 +-
 doc/Cmdliner.Arg.html       |  126 +++--
 doc/Cmdliner.Manpage.html   |    8 +-
 doc/Cmdliner.Term.html      |   68 ++-
 doc/Cmdliner.html           |  318 +++++------
 doc/index_types.html        |    5 +
 doc/index_values.html       |   79 ++-
 doc/type_Cmdliner.Arg.html  |    3 +
 doc/type_Cmdliner.Term.html |   15 +-
 doc/type_Cmdliner.html      |   18 +-
 opam                        |   16 +-
 pkg/META                    |    2 +-
 pkg/build                   |   31 --
 pkg/build.ml                |   17 +
 pkg/config                  |    3 -
 pkg/config.ml               |   11 +
 pkg/git.ml                  |   14 +
 pkg/pkg-builder             |  108 ----
 pkg/pkg-git                 |   16 -
 pkg/pkg-varsubsts           |   24 -
 pkg/topkg-ext.ml            |  272 ++++++++++
 pkg/topkg.ml                |  303 +++++++++++
 src/cmdliner.ml             | 1242 ++++++++++++++++++++++++-------------------
 src/cmdliner.mli            |  602 +++++++++++----------
 test/chorus.ml              |   15 +-
 test/cp_ex.ml               |   42 +-
 test/darcs_ex.ml            |   94 ++--
 test/revolt.ml              |    2 +-
 test/rm_ex.ml               |   20 +-
 test/tail_ex.ml             |   44 +-
 36 files changed, 2177 insertions(+), 1412 deletions(-)
 create mode 100644 .ocp-indent
 create mode 100644 debian/gbp.conf
 delete mode 100755 pkg/build
 create mode 100755 pkg/build.ml
 delete mode 100644 pkg/config
 create mode 100644 pkg/config.ml
 create mode 100755 pkg/git.ml
 delete mode 100755 pkg/pkg-builder
 delete mode 100755 pkg/pkg-git
 delete mode 100755 pkg/pkg-varsubsts
 create mode 100644 pkg/topkg-ext.ml
 create mode 100644 pkg/topkg.ml

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