[Pkg-ocaml-maint-commits] [coinst] branch master updated (af3194a -> 9b75b4d)
Mehdi Dogguy
mehdi at moszumanska.debian.org
Fri Jan 17 21:56:47 UTC 2014
This is an automated email from the git hooks/post-receive script.
mehdi pushed a change to branch master
in repository coinst.
from af3194a Release to unstable
new 5216aa0 Update debian/gbp.conf
new cfa2c3b Imported Upstream version 1.9.1
new 49d2646 Merge tag 'upstream/1.9.1'
new 4d262f8 Import new upstream (minor) release
new 50396bf Remove no longer needed 0001-Fixed-to-compile-with-OCaml-4.01.patch
new add7f3e Update patch make_byte
new 9b75b4d Release to unstable
The 7 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:
.depend | 24 +-
.gitignore | 5 +-
CHANGES | 10 +
Makefile | 4 +-
coinst.ml | 413 ++++++++++++++++++++-
coinst_json.ml | 290 +++++++++++++++
graph.mli => coinst_json.mli | 3 +
debian/changelog | 10 +
debian/gbp.conf | 2 +-
.../0001-Fixed-to-compile-with-OCaml-4.01.patch | 54 ---
debian/patches/make_byte | 5 +-
debian/patches/series | 1 -
layout.ml | 16 +-
layout.mli | 4 +-
man/comigrate.1 | 10 +-
ptset.ml | 10 +
ptset.mli | 2 +
transition.ml | 188 +++++++---
update_data.ml | 16 +-
upgrade.ml | 2 +-
upgrade_common.ml | 4 +-
util.ml | 2 +-
22 files changed, 915 insertions(+), 160 deletions(-)
create mode 100644 coinst_json.ml
copy graph.mli => coinst_json.mli (93%)
delete mode 100644 debian/patches/0001-Fixed-to-compile-with-OCaml-4.01.patch
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coinst.git
More information about the Pkg-ocaml-maint-commits
mailing list