[Pkg-ocaml-maint-commits] [dose3] 04/08: Merge tag 'upstream/4.2' into experimental/master

[Ralf Treinen]

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

treinen pushed a commit to branch experimental/master
in repository dose3.

commit fb4108d3c7f9b4ec48b735fcfde217eb369c7490
Merge: 81708d7 f2ccabf
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Feb 9 20:55:36 2016 +0100

    Merge tag 'upstream/4.2' into experimental/master
    
    Upstream version 4.2

 CHANGES                                            | 13 ++++++
 INSTALL                                            |  3 ++
 META.in                                            |  4 +-
 Makefile                                           | 15 ++++++-
 TODO                                               |  4 +-
 algo/defaultgraphs.ml                              |  4 +-
 algo/depsolver.ml                                  | 50 ++++++++++++++++------
 algo/depsolver.mli                                 | 23 +++-------
 algo/diagnostic.ml                                 |  3 +-
 algo/diagnostic.mli                                | 35 +++++++++------
 algo/tests.ml                                      | 32 ++++++++++++++
 applications/deb-coinstall.ml                      |  5 ++-
 applications/outdated.ml                           |  9 ++--
 common/cudfAdd.ml                                  |  4 +-
 configure                                          | 18 ++++----
 configure.ac                                       |  2 +-
 deb/debcudf.ml                                     | 27 ++++++------
 deb/debcudf.mli                                    |  3 ++
 deb/evolution.ml                                   |  1 -
 deb/packages.ml                                    |  3 +-
 .../{buildcheck.pod => deb-buildcheck.pod}         |  9 ++--
 doc/manpages/distcheck.pod                         | 12 +++---
 opam_configure.sh                                  |  2 +-
 23 files changed, 186 insertions(+), 95 deletions(-)

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