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 _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits