This is an automated email from the git hooks/post-receive script.
mehdi pushed a commit to branch master
in repository coinst.
commit 598ffa7f8dbb7e59c899222968b31b26aaf97821
Merge: cc96dbb 63c5a05
Author: Mehdi Dogguy <me...@debian.org>
Date: Wed Feb 10 18:28:17 2016 +0100
Merge tag 'upstream/1.9.2'
Upstream version 1.9.2
.gitignore | 5 +-
BUGS.txt | 6 --
CHANGES | 18 ++++++
Makefile | 30 ++++++++--
TODO.txt | 24 ++++++++
bytearray.ml | 28 ++++-----
bytearray.mli | 8 +--
cache.ml | 8 +--
coinst.ml | 47 ++++++++++-----
deb_lib.ml | 86 +++++++++++++--------------
file.ml | 6 +-
layout.ml | 55 ++++++++---------
man/comigrate.1 | 11 +++-
ptset.ml | 11 +++-
ptset.mli | 2 +
quotient.ml | 4 +-
rpm_lib.ml | 20 ++++---
solver.ml | 4 +-
task.ml | 10 ++--
transition.ml | 174 +++++++++++++++++++++++++++++++-----------------------
update_data.ml | 7 ++-
update_data.mli | 2 +
upgrade_common.ml | 2 +-
util.ml | 63 +++++++++++---------
util.mli | 4 +-
viewer/Makefile | 13 +++-
26 files changed, 393 insertions(+), 255 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/coinst.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
