[Pkg-ocaml-maint-commits] [coq-doc] branch master updated (ed61815 -> ca67dd6)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository coq-doc. from ed61815 Update changelog and prepare upload to unstable new ca67dd6 fix ftbfs "unterminated string literal" The 1 revisions listed above as

[Pkg-ocaml-maint-commits] [coq-doc] annotated tag debian/8.4pl4-2 created (now 316232c)

This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag debian/8.4pl4-2 in repository coq-doc. at 316232c (tag) tagging ca67dd6e1ceafd5f6daf2beed260aa2092af01db (commit) replaces debian/8.4pl4-1 tagged by Ralf Treinen

[Pkg-ocaml-maint-commits] [coq-doc] 01/01: fix ftbfs "unterminated string literal"

This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository coq-doc. commit ca67dd6e1ceafd5f6daf2beed260aa2092af01db Author: Ralf Treinen Date: Thu Feb 11 08:28:29 2016 +0100 fix ftbfs "unterminated string

[Pkg-ocaml-maint-commits] [coinst] branch master updated (cc96dbb -> c6ff300)

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

[Pkg-ocaml-maint-commits] [coinst] annotated tag upstream/1.9.2 created (now b52b16f)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag upstream/1.9.2 in repository coinst. at b52b16f (tag) tagging 63c5a05486f316fc73de1a5b98b7f0d890b47ee9 (commit) replaces upstream/1.9.1 tagged by Mehdi Dogguy on

[Pkg-ocaml-maint-commits] [coinst] 01/01: pristine-tar data for coinst_1.9.2.orig.tar.gz

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch pristine-tar in repository coinst. commit 3cf43fc519e91e9f6c426f58fcd211b65d1e82d8 Author: Mehdi Dogguy Date: Wed Feb 10 18:28:17 2016 +0100 pristine-tar data for

[Pkg-ocaml-maint-commits] [coinst] branch pristine-tar updated (7dfe9b7 -> 3cf43fc)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch pristine-tar in repository coinst. from 7dfe9b7 pristine-tar data for coinst_1.9.1.orig.tar.gz new 3cf43fc pristine-tar data for coinst_1.9.2.orig.tar.gz The 1 revisions listed

[Pkg-ocaml-maint-commits] [coinst] 06/06: Release to unstable

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository coinst. commit c6ff3008fcc41bfa15586861d64c01bfe39ad29c Author: Mehdi Dogguy Date: Fri Feb 12 00:12:30 2016 +0100 Release to unstable ---

[Pkg-ocaml-maint-commits] [coinst] annotated tag debian/1.9.2-1 created (now a75b7d1)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/1.9.2-1 in repository coinst. at a75b7d1 (tag) tagging c6ff3008fcc41bfa15586861d64c01bfe39ad29c (commit) replaces debian/1.9.1-2 tagged by Mehdi Dogguy on

[Pkg-ocaml-maint-commits] [coinst] 03/06: New upstream release

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository coinst. commit 0688ebd22e2831430978cb06f52298321522dd6a Author: Mehdi Dogguy Date: Wed Feb 10 19:08:51 2016 +0100 New upstream release ---

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

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 Date: Wed Feb 10 18:28:17 2016 +0100 Merge tag

[Pkg-ocaml-maint-commits] [coinst] 05/06: Fix space/tab issue in viewer/Makefile

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository coinst. commit 08b4fcd112631f48f8dba870b753c05057461d40 Author: Mehdi Dogguy Date: Fri Feb 12 00:12:07 2016 +0100 Fix space/tab issue in

[Pkg-ocaml-maint-commits] [coinst] branch upstream updated (cfa2c3b -> 63c5a05)

This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch upstream in repository coinst. from cfa2c3b Imported Upstream version 1.9.1 new 63c5a05 Imported Upstream version 1.9.2 The 1 revisions listed above as "new" are entirely new to

[Pkg-ocaml-maint-commits] [coinst] 04/06: Remove all patches, integrated upstream.

This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository coinst. commit 87f8f00940407755e2ea21bdd07472623b0ff13a Author: Mehdi Dogguy Date: Wed Feb 10 19:22:34 2016 +0100 Remove all patches, integrated

[Pkg-ocaml-maint-commits] [cppo] branch master updated (0091f95 -> e8aa52d)

This is an automated email from the git hooks/post-receive script. bengen pushed a change to branch master in repository cppo. from 0091f95 Install native libraries where available adds e8aa52d 1.3.1-2: Upload to unstable No new revisions were added by this update. Summary of

[Pkg-ocaml-maint-commits] [cppo] 01/01: 1.3.1-2: Upload to unstable

This is an automated email from the git hooks/post-receive script. bengen pushed a commit to annotated tag debian/1.3.1-2 in repository cppo. commit e8aa52db260786199050d0ddf7ca5e379c3a2d0b Author: Hilko Bengen Date: Fri Feb 12 00:34:11 2016 +0100 1.3.1-2: Upload to

[Pkg-ocaml-maint-commits] [cppo] annotated tag debian/1.3.1-2 created (now fdb37ba)

This is an automated email from the git hooks/post-receive script. bengen pushed a change to annotated tag debian/1.3.1-2 in repository cppo. at fdb37ba (tag) tagging e8aa52db260786199050d0ddf7ca5e379c3a2d0b (commit) replaces debian/1.3.1-1 tagged by Hilko Bengen on