This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository dose3.
commit 5cdc89de7122ba273572910e5c932ccf8d608737 Merge: 5c7d7a9 aa2c822 Author: Ralf Treinen <trei...@free.fr> Date: Wed Aug 26 20:21:05 2015 +0200 Merge tag 'upstream/4.0' Upstream version 4.0 CHANGES | 37 + INSTALL | 9 +- META.in | 21 +- Makefile | 91 +- Makefile.config.in | 34 +- _tags.in | 32 +- algo/defaultgraphs.ml | 372 ++++-- algo/depsolver.ml | 204 +-- algo/depsolver.mli | 26 +- algo/depsolver_int.ml | 285 +--- algo/diagnostic.ml | 512 ++++++-- algo/diagnostic.mli | 86 +- algo/diagnostic_int.ml | 4 +- algo/dominators.ml | 8 +- algo/flatten.ml | 4 +- algo/statistics.ml | 4 +- algo/strongconflicts.ml | 4 +- algo/strongconflicts_int.ml | 6 +- algo/strongdeps.ml | 12 +- algo/strongdeps_int.ml | 8 +- algo/tests.ml | 70 +- applications/apt-cudf.ml | 2 +- applications/ceve.ml | 151 ++- applications/challenged.ml | 89 +- applications/deb-buildcheck.ml | 63 +- applications/deb-coinstall.ml | 85 +- applications/distcheck.ml | 115 +- applications/dominators-graph.ml | 12 +- applications/dose-tests.list.in | 273 ++-- applications/dose-tests.py | 162 ++- applications/outdated.ml | 25 +- applications/smallworld.ml | 8 +- applications/strong-deps.ml | 10 +- common/common.mlpack | 3 + common/cudfAdd.ml | 86 +- common/cudfAdd.mli | 68 +- common/cudfSolver.ml | 222 +++- common/edosSolver.ml | 229 +--- common/edosSolver.mli | 3 - {deb => common}/format822.ml | 57 +- {deb => common}/format822_lexer.mll | 0 {deb => common}/format822_parser.mly | 0 common/input.ml | 96 +- common/input.mli | 13 +- common/shell_lexer.mll | 71 + common/tests.ml | 36 + common/url.ml | 21 +- common/url.mli | 7 +- common/util.ml | 13 +- common/util.mli | 8 +- configure | 1066 ++------------- configure.ac | 38 +- cv/cv.mlpack | 3 - cv/cvcudf.ml | 78 -- cv/packages.ml | 0 cv/version.ml | 0 deb/apt.ml | 12 +- deb/architecture.ml | 80 +- deb/debcudf.ml | 81 +- deb/debcudf.mli | 11 +- deb/debian.mlpack | 5 +- deb/debutil.ml | 12 +- deb/edsp.ml | 46 +- deb/evolution.ml | 42 +- deb/packages.ml | 37 +- deb/packages_lexer.mll | 1 + deb/packages_parser.mly | 31 +- deb/packages_types.ml | 22 + deb/printer.ml | 13 + deb/release.ml | 5 + deb/sources.ml | 107 +- deb/tests.ml | 45 +- doc/Makefile | 6 +- doc/apt-cudf/apt-cudf.conf | 4 +- doc/apt-external-solvers.primer/.gitignore | 12 + doc/apt-external-solvers.primer/advanced.tex | 240 +++- .../apt-external-solvers.tex | 7 +- doc/apt-external-solvers.primer/basic.tex | 63 +- doc/apt-external-solvers.primer/intro.tex | 8 + doc/apt-external-solvers.primer/motivation.tex | 9 + doc/manpages/buildcheck.pod | 12 +- doc/manpages/ceve.pod | 69 +- doc/manpages/distcheck.pod | 8 +- doc/webpages/IkiWiki/Plugin/bibtex.pm | 321 +++++ doc/webpages/IkiWiki/Plugin/bootmenu.pm | 118 ++ doc/webpages/Makefile | 27 +- doc/webpages/extract-manpages.py | 40 + doc/webpages/extract-ocamldoc.py | 26 + doc/webpages/extract-primer.py | 23 + doc/webpages/local.setup | 763 ++++++----- doc/webpages/src/biblio.bib | 29 + doc/webpages/src/biblio.mdwn | 0 doc/webpages/src/contacts.mdwn | 24 +- doc/webpages/src/css/bootstrap.min.css | 7 + doc/webpages/src/css/purple.css | 1361 -------------------- doc/webpages/src/css/styles.css | 113 ++ doc/webpages/src/devel.mdwn | 9 + doc/webpages/src/download.mdwn | 31 + doc/webpages/src/faq.mdwn | 21 +- doc/webpages/src/index.mdwn | 1 + doc/webpages/src/install.mdwn | 67 +- doc/webpages/src/js/bootstrap.min.js | 6 + doc/webpages/src/js/jquery-2.1.3.min.js | 4 + doc/webpages/src/js/npm.js | 13 + doc/webpages/src/js/scripts.js | 31 + doc/webpages/src/man.mdwn | 38 + doc/webpages/src/quickstart.mdwn | 176 +-- doc/webpages/src/related.mdwn | 38 +- doc/webpages/src/sidebar.mdwn | 15 - doc/webpages/src/tutorial.mdwn | 0 doc/webpages/src/tutorials.mdwn | 22 + doc/webpages/src/{tutorial => tutorials}/cudf.mdwn | 0 .../src/{tools.mdwn => tutorials/interpreter.mdwn} | 9 +- doc/webpages/src/tutorials/python.mdwn | 17 + doc/webpages/src/tutorials/shell.mdwn | 9 + doc/webpages/templates/bibentry.tmpl | 9 + doc/webpages/templates/bibfile.tmpl | 42 + doc/webpages/templates/homepage.tmpl | 97 ++ doc/webpages/templates/page.tmpl | 135 +- doseparse/stdDebug.ml | 4 +- doseparse/stdLoaders.ml | 281 ++-- doseparse/stdOptions.ml | 142 +- doseparse/stdUtils.ml | 4 +- eclipse/eclipse.mlpack | 3 - eclipse/version.ml | 48 - input-bug727642 | 57 - myocamlbuild.ml => myocamlbuild.ml.pp | 13 +- opencsw/csw.mlpack | 1 - opencsw/cswcudf.ml | 1 + opencsw/packages.ml | 15 +- opencsw/version.ml | 50 - {eclipse => pef}/packages.ml | 35 +- pef/packages_types.ml | 10 + pef/pef.itarget | 4 + pef/pef.mlpack | 3 + eclipse/eclipsecudf.ml => pef/pefcudf.ml | 35 +- rpm/hdlists.ml | 4 +- rpm/librpm4_stubs.c | 4 +- rpm/packages.ml | 13 +- rpm/rpmcudf.ml | 4 +- rpm/version.ml | 5 + scripts/README | 31 + scripts/distcheck-aggregate.py | 54 + scripts/distcheck-plot.py | 232 ++++ scripts/distcheck-snapshot.sh | 37 + scripts/mirror-snapshot.sh | 23 + deb/version.ml => versioning/debian_version.ml | 36 +- deb/version.mli => versioning/debian_version.mli | 21 +- versioning/semantic_version.ml | 46 + versioning/versioning.itarget | 4 + versioning/versioning.ml | 3 + 151 files changed, 5487 insertions(+), 5308 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.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