[Pkg-ocaml-maint-commits] [dose3] 02/05: Merge tag 'upstream/3.2_rc2' 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 db2887a060f9ffcdc22d8f0a565b9676bc2ea4b2
Merge: 160232a 2f72a6d
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun May 4 22:36:27 2014 +0200

    Merge tag 'upstream/3.2_rc2' into experimental/master
    
    Upstream version 3.2~rc2

 INSTALL                        |  24 ++++++-
 _tags.in                       |   1 +
 algo/depsolver.mli             |   6 ++
 algo/diagnostic.ml             |   2 +
 algo/diagnostic.mli            | 108 +++++++++++++++++++++++++++++
 applications/deb-buildcheck.ml |  39 ++++++++---
 applications/deb-coinstall.ml  |  17 +++++
 applications/dose-tests.list   |   8 +++
 common/cudfSolver.ml           |  17 +++--
 configure                      |  36 +++++-----
 configure.ac                   |   2 +-
 deb/architecture.ml            | 151 +++++++++++++++++++++++++++++++++++------
 deb/architecture.mli           |   7 ++
 deb/debcudf.ml                 |  49 +++++++------
 deb/printer.ml                 |   2 +
 deb/sources.ml                 |   2 +-
 deb/tests.ml                   |  24 ++++---
 doc/manpages/ceve.pod          |   3 +-
 18 files changed, 407 insertions(+), 91 deletions(-)

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