[Pkg-ocaml-maint-commits] [coinst] 02/06: Merge tag 'upstream/1.9.2'

[Mehdi Dogguy]

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 <mehdi at 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