[Pkg-ocaml-maint-commits] [dose3] 01/01: Merge branch 'experimental/upstream' into upstream

Ralf Treinen treinen at moszumanska.debian.org
Sun Apr 3 20:18:21 UTC 2016


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

treinen pushed a commit to branch upstream
in repository dose3.

commit 603c267eeb6a14d633c6d9fec95f16374355a0f8
Merge: 98e6766 4307891
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Apr 3 21:36:17 2016 +0200

    Merge branch 'experimental/upstream' into upstream

 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



More information about the Pkg-ocaml-maint-commits mailing list