[Pkg-ocaml-maint-commits] [dose3] 06/07: Merge tag 'upstream/4.0'
Ralf Treinen
treinen at moszumanska.debian.org
Wed Aug 26 18:39:35 UTC 2015
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 <treinen at 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
More information about the Pkg-ocaml-maint-commits
mailing list