[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc15.deb-2-4-ge23e490

2012-12-30 Thread Eugeniy Meshcheryakov
The following commit has been merged in the master branch: commit 68f45bab87f2e991f88371cff83ca885b6d52609 Merge: babb140684fadf2dc6336c21439cd2dad3a30f80 4e2c314abc2b4d89b3f3c7b5ad0539fb953c0c40 Author: Eugeniy Meshcheryakov eu...@debian.org Date: Sun Dec 30 16:55:25 2012 +0100 Merge tag

[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, master, updated. debian/1.0.0_rc15.deb-2-4-ge23e490

2012-12-30 Thread Eugeniy Meshcheryakov
The following commit has been merged in the master branch: commit 8603cc3d11485ea19336694221942e5c05c278f7 Author: Eugeniy Meshcheryakov eu...@debian.org Date: Sun Dec 30 16:59:55 2012 +0100 New upstream RC diff --git a/debian/changelog b/debian/changelog index e6ad124..4629496 100644 ---

[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle branch, pristine-tar, updated. 5afe46ff4b0bb2135946359ba1a57551167fe8e1

2012-12-30 Thread Eugeniy Meshcheryakov
The following commit has been merged in the pristine-tar branch: commit 5afe46ff4b0bb2135946359ba1a57551167fe8e1 Author: Eugeniy Meshcheryakov eu...@debian.org Date: Sun Dec 30 16:55:25 2012 +0100 pristine-tar data for coccinelle_1.0.0~rc16.deb.orig.tar.gz diff --git

[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle annotated tag, debian/1.0.0_rc16.deb-1, created. debian/1.0.0_rc16.deb-1

2012-12-30 Thread Eugeniy Meshcheryakov
The annotated tag, debian/1.0.0_rc16.deb-1 has been created at ed32f0845fae175982dc8bfeb356a82b9ccc5fb1 (tag) tagging e23e490077e2d7d6aeaeac8a12def75ee471ce73 (commit) replaces debian/1.0.0_rc15.deb-2 tagged by Eugeniy Meshcheryakov on Sun Dec 30 17:15:56 2012 +0100 -

[Pkg-ocaml-maint-commits] [SCM] Debian packaging for coccinelle annotated tag, upstream/1.0.0_rc16.deb, created. upstream/1.0.0_rc16.deb

2012-12-30 Thread Eugeniy Meshcheryakov
The annotated tag, upstream/1.0.0_rc16.deb has been created at df7f473a05711c9844b79c8051915c44c1c886da (tag) tagging 4e2c314abc2b4d89b3f3c7b5ad0539fb953c0c40 (commit) replaces upstream/1.0.0_rc15.deb tagged by Eugeniy Meshcheryakov on Sun Dec 30 16:55:25 2012 +0100 -