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

mehdi pushed a commit to branch master
in repository coinst.

commit 112c499725b63c81942ca26b2d05a53c4806a680
Merge: f219aa2 55da541
Author: Mehdi Dogguy <me...@debian.org>
Date:   Thu Jan 16 10:36:53 2014 +0100

    Merge tag 'upstream/1.9.0'
    
    Upstream version 1.9.0

 .depend                  |   185 +-
 .gitignore               |    12 +
 BUGS.txt                 |    22 +
 CHANGES                  |    10 +
 COPYING                  |     4 +-
 Makefile                 |    38 +-
 README.md                |     8 +
 TODO.txt                 |    50 +
 api.ml                   |    18 +
 api.mli                  |    18 +
 bytearray.ml             |    97 +
 bytearray.mli            |    27 +
 bytearray_stubs.c        |    52 +
 cache.ml                 |    93 +
 cache.mli                |    25 +
 main.ml => coinst.ml     |    68 +-
 coinst_common.ml         |   393 ++
 coinst_common.mli        |    35 +
 common.ml                |    18 +
 common.mli               |    18 +
 conflicts.ml             |    19 +
 cudf_lib.ml              |    37 +-
 cudf_lib.mli             |    18 +
 deb_lib.ml               |  1448 +++++--
 deb_lib.mli              |   123 +-
 debug.ml                 |    53 +
 debug.mli                |    22 +
 dgraph.ml                |   100 -
 dgraph.mli               |    37 -
 file.ml                  |   125 +
 file.mli                 |    28 +
 graph.ml                 |    92 +-
 graph.mli                |    23 +-
 horn.ml                  |   323 ++
 horn.mli                 |    48 +
 layout.ml                |   398 ++
 layout.mli               |    91 +
 man/coinst-upgrades.1    |    94 +
 man/comigrate.1          |   345 ++
 ptset.ml                 |   686 +++
 ptset.mli                |   109 +
 quotient.ml              |    62 +
 quotient.mli             |    46 +
 repository.ml            |    67 +-
 repository.mli           |    31 +-
 rpm_lib.ml               |    57 +-
 rpm_lib.mli              |    18 +
 solver.ml                |    59 +-
 solver.mli               |    19 +
 task.ml                  |   237 +
 task.mli                 |    42 +
 task_stubs.c             |    12 +
 transition.ml            |  3643 ++++++++++++++++
 update_data.ml           |   178 +
 update_data.mli          |    20 +
 upgrade.ml               |   611 +++
 upgrade.mli              |    19 +
 upgrade_common.ml        |  1888 ++++++++
 upgrade_common.mli       |    76 +
 upgrade_main.ml          |    80 +
 util.ml                  |   287 +-
 util.mli                 |    92 +
 viewer/.depend           |    76 +-
 viewer/converter.ml      |    13 +-
 viewer/dot_file.ml       |    96 +
 viewer/dot_file.mli      |     6 +
 viewer/dot_graph.ml      |     5 +
 viewer/dot_graph.mli     |     2 +
 viewer/dot_parser.mly    |    17 +-
 viewer/dot_render.ml     |    34 +-
 viewer/index.html        |     1 +
 viewer/scene.js          | 10468 +++++++++++++++++++++++++++++++++++++++++++++
 viewer/scene.ml          |    11 +-
 viewer/scene.mli         |     9 +-
 viewer/scene_extents.ml  |     6 +-
 viewer/scene_json.ml     |    15 +-
 viewer/scene_svg.ml      |    59 +
 viewer/scene_svg.mli     |     5 +
 viewer/viewer.ml         |    12 +-
 viewer/viewer_common.ml  |    11 +-
 viewer/viewer_common.mli |     2 +
 viewer/viewer_js.ml      |    34 +-
 82 files changed, 23010 insertions(+), 826 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

Reply via email to