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

mehdi pushed a change to branch master
in repository coinst.

      from  cc96dbb   Release to unstable
       new  63c5a05   Imported Upstream version 1.9.2
       new  598ffa7   Merge tag 'upstream/1.9.2'
       new  0688ebd   New upstream release
       new  87f8f00   Remove all patches, integrated upstream.
       new  08b4fcd   Fix space/tab issue in viewer/Makefile
       new  c6ff300   Release to unstable

The 6 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 .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 +++++-----
 debian/changelog                                   |  19 ++-
 .../0001-Fix-a-space-tab-issue-in-Makefile.patch   |  21 +++
 debian/patches/make_byte                           |  48 ------
 debian/patches/make_clean                          |  27 ----
 debian/patches/make_viewer_byte                    |  37 -----
 debian/patches/ocaml_4.02.3                        |  45 ------
 debian/patches/series                              |   5 +-
 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 +-
 33 files changed, 432 insertions(+), 418 deletions(-)
 create mode 100644 debian/patches/0001-Fix-a-space-tab-issue-in-Makefile.patch
 delete mode 100644 debian/patches/make_byte
 delete mode 100644 debian/patches/make_clean
 delete mode 100644 debian/patches/make_viewer_byte
 delete mode 100644 debian/patches/ocaml_4.02.3

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