[Pkg-ocaml-maint-commits] [dose3] 03/04: Merge tag 'upstream/4.1'

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository dose3.

commit 19a6bfd5578eb398496187affc6ed2ff6715b586
Merge: e21f2b7 98e6766
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Jan 7 18:33:23 2016 +0100

    Merge tag 'upstream/4.1'
    
    Upstream version 4.1

 CHANGES                         |  33 ++++++
 INSTALL                         |  57 +++++++++--
 Makefile                        |  17 +++-
 Makefile.config.in              |  45 +++++---
 algo/defaultgraphs.ml           | 220 ++++++++++++++++++++++++++++------------
 algo/depsolver.ml               | 126 ++++++++++++-----------
 algo/depsolver.mli              |   8 ++
 algo/strongconflicts.ml         |   2 +-
 algo/strongdeps.ml              |  36 ++++---
 applications/apt-cudf.ml        |  51 +++++-----
 applications/ceve.ml            |  23 ++---
 common/criteria.ml              |  20 ++--
 common/criteria.mli             |  26 +++++
 common/cudfDiff.ml              |  95 ++++++++---------
 common/cudfDiff.mli             |  26 +++++
 common/cudfSolver.ml            |  37 +++----
 common/format822.ml             |   2 +-
 common/tests.ml                 |  35 +++++++
 configure                       |  21 ++--
 configure.ac                    |   5 +-
 doseparse/doseparseNoRpm.mlpack |   1 -
 doseparse/stdOptions.ml         |   3 +-
 doseparseNoRpm                  |   1 -
 myocamlbuild.ml.pp              |   2 +-
 opam/opamcudf.ml                |  28 +++--
 opam/packages.ml                |  66 ++++++------
 opam/tests.ml                   | 154 ++++++++++++++++++++++++++++
 pef/packages.ml                 |   5 +-
 scripts/doc.sh                  |   7 +-
 29 files changed, 805 insertions(+), 347 deletions(-)

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