[Pkg-ocaml-maint-commits] [why] 01/01: test frama-c+why+alt-ergo: does not need cpp-4.7 any longer

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository why. commit 491e586752c619f4a88e89c7fd2633c470c1c9ad Author: Ralf Treinen trei...@free.fr Date: Tue Apr 29 08:50:58 2014 +0200 test frama-c+why+alt-ergo: does not need

[Pkg-ocaml-maint-commits] [why] branch master updated (ca29897 - 491e586)

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository why. from ca29897 drop patch frama-c-versions new 491e586 test frama-c+why+alt-ergo: does not need cpp-4.7 any longer The 1 revisions listed above as new

[Pkg-ocaml-maint-commits] [frama-c] branch master updated (2e066ca - e79fd67)

2014-04-29 Thread Mehdi Dogguy
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to branch master in repository frama-c. from 2e066ca Release to unstable new 774b17d Add a call to autoconf prior to configure. new e79fd67 Release to unstable The 2 revisions

[Pkg-ocaml-maint-commits] [frama-c] annotated tag debian/20140301+neon+dfsg-3 created (now 246fe5e)

2014-04-29 Thread Mehdi Dogguy
This is an automated email from the git hooks/post-receive script. mehdi pushed a change to annotated tag debian/20140301+neon+dfsg-3 in repository frama-c. at 246fe5e (tag) tagging e79fd678a99adb069d369f76588531eac6d3d794 (commit) replaces debian/20140301+neon+dfsg-2 tagged

[Pkg-ocaml-maint-commits] [frama-c] 02/02: Release to unstable

2014-04-29 Thread Mehdi Dogguy
This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit e79fd678a99adb069d369f76588531eac6d3d794 Author: Mehdi Dogguy me...@debian.org Date: Tue Apr 29 19:16:49 2014 +0200 Release to unstable ---

[Pkg-ocaml-maint-commits] [frama-c] 01/02: Add a call to autoconf prior to configure.

2014-04-29 Thread Mehdi Dogguy
This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository frama-c. commit 774b17db7ee727dfbd2e4dcb9f1866479b346b00 Author: Mehdi Dogguy me...@dogguy.org Date: Tue Apr 29 11:17:23 2014 +0200 Add a call to autoconf prior to

[Pkg-ocaml-maint-commits] [dose3] 03/04: really drop patch ocaml4.1-zip

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository dose3. commit f4620c3682bc134d904cdc2b2ba67f4d0f7d4536 Author: Ralf Treinen trei...@free.fr Date: Tue Apr 29 22:34:56 2014 +0200 really drop patch

[Pkg-ocaml-maint-commits] [dose3] 04/04: change upstream version to 3.2~rc1

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository dose3. commit 5c15f603b1b5ee8ed59abd2ad8707c61b32622ba Author: Ralf Treinen trei...@free.fr Date: Tue Apr 29 22:38:20 2014 +0200 change upstream version

[Pkg-ocaml-maint-commits] [dose3] 02/04: drop patch doc-makefile-html

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository dose3. commit 972f5886b59cd899f0f12a3a46cef47d280684b7 Author: Ralf Treinen trei...@free.fr Date: Tue Apr 29 22:34:13 2014 +0200 drop patch

[Pkg-ocaml-maint-commits] [dose3] 01/04: bump build-dependency on libcudf

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch experimental/master in repository dose3. commit 589035e71dee3b0a9758f3ead7d44599d18ae035 Author: Ralf Treinen trei...@free.fr Date: Tue Apr 29 22:17:52 2014 +0200 bump build-dependency on

[Pkg-ocaml-maint-commits] [dose3] 01/02: a pristine-tar delta and id for 3.2~rc1

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch pristine-tar in repository dose3. commit 699a1b9cb4fd9b98182834d9f6c8d806a5b4932d Author: Ralf Treinen trei...@free.fr Date: Tue Apr 29 22:43:28 2014 +0200 a pristine-tar delta and id for

[Pkg-ocaml-maint-commits] [dose3] branch pristine-tar updated (db8b442 - bfa0edd)

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch pristine-tar in repository dose3. from db8b442 pristine-tar data for dose3_3.2-rc1.orig.tar.gz new 699a1b9 a pristine-tar delta and id for 3.2~rc1 new bfa0edd drop

[Pkg-ocaml-maint-commits] [dose3] 02/02: drop obsolete delta and id for version dose3_3.2-rc1

2014-04-29 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch pristine-tar in repository dose3. commit bfa0edd674c9ba836c3247f20f849ac7226a25d1 Author: Ralf Treinen trei...@free.fr Date: Tue Apr 29 22:53:06 2014 +0200 drop obsolete delta and id for

[Pkg-ocaml-maint-commits] [cudf] 01/06: Imported Upstream version 0.7

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch master in repository cudf. commit fd8ffb0a30ec9cf963dca52cfa0e5f5eec7ae8e7 Author: Stefano Zacchiroli z...@upsilon.cc Date: Tue Apr 29 14:54:56 2014 -0400 Imported Upstream version 0.7 ---

[Pkg-ocaml-maint-commits] [cudf] 03/06: Merge tag 'upstream/0.7'

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch master in repository cudf. commit c1f0e3bd54640cc66daefb68cd19e446a7b1fe92 Merge: 11df4b3 8f27b34 Author: Stefano Zacchiroli z...@upsilon.cc Date: Tue Apr 29 14:55:09 2014 -0400 Merge tag

[Pkg-ocaml-maint-commits] [cudf] branch master updated (11df4b3 - 9383e70)

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a change to branch master in repository cudf. from 11df4b3 bump standards-version new fd8ffb0 Imported Upstream version 0.7 new 8f27b34 Imported Upstream version 0.7 new c1f0e3b

[Pkg-ocaml-maint-commits] [cudf] 02/06: Imported Upstream version 0.7

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch master in repository cudf. commit 8f27b3496f7a956cd778d789d6f3b295edff3b7c Author: Stefano Zacchiroli z...@upsilon.cc Date: Tue Apr 29 14:55:09 2014 -0400 Imported Upstream version 0.7 --

[Pkg-ocaml-maint-commits] [cudf] 04/06: new upstream release: 0.7

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch master in repository cudf. commit 678e47aa1d7c2f5e1948fb6247c17331166c2a38 Author: Stefano Zacchiroli z...@upsilon.cc Date: Tue Apr 29 15:02:27 2014 -0400 new upstream release: 0.7 *

[Pkg-ocaml-maint-commits] [cudf] branch pristine-tar updated (23086c4 - 3e1e306)

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a change to branch pristine-tar in repository cudf. from 23086c4 pristine-tar data for cudf_0.6.3.orig.tar.gz new 612e579 pristine-tar data for cudf_0.7.orig.tar.gz new 3e1e306

[Pkg-ocaml-maint-commits] [cudf] 01/02: pristine-tar data for cudf_0.7.orig.tar.gz

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch pristine-tar in repository cudf. commit 612e57941b64fc797fb9c183eccc55a4decc94b4 Author: Stefano Zacchiroli z...@upsilon.cc Date: Tue Apr 29 14:54:56 2014 -0400 pristine-tar data for

[Pkg-ocaml-maint-commits] [cudf] 06/06: upload 0.7-1 to experimental

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch master in repository cudf. commit 9383e7072b15291a89d2bfe031f6e470befc85a2 Author: Stefano Zacchiroli z...@upsilon.cc Date: Tue Apr 29 23:09:17 2014 -0400 upload 0.7-1 to experimental ---

[Pkg-ocaml-maint-commits] [cudf] 05/06: bump Standards-Version to 3.9.5 (no change)

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch master in repository cudf. commit 435ab9446c90b6c52876fb92c2a8d7ae855ca375 Author: Stefano Zacchiroli z...@upsilon.cc Date: Tue Apr 29 15:11:48 2014 -0400 bump Standards-Version to 3.9.5 (no

[Pkg-ocaml-maint-commits] [cudf] annotated tag debian/0.7-1 created (now 6840fd5)

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a change to annotated tag debian/0.7-1 in repository cudf. at 6840fd5 (tag) tagging 9383e7072b15291a89d2bfe031f6e470befc85a2 (commit) replaces debian/0.6.3-2 tagged by Stefano Zacchiroli on

[Pkg-ocaml-maint-commits] [cudf] 02/02: pristine-tar data for cudf_0.7.orig.tar.gz

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a commit to branch pristine-tar in repository cudf. commit 3e1e306e106e3b69fd2a438f0883dcb85c5a21ec Author: Stefano Zacchiroli z...@upsilon.cc Date: Tue Apr 29 14:55:09 2014 -0400 pristine-tar data for

[Pkg-ocaml-maint-commits] [cudf] annotated tag upstream/0.7 created (now 82eacde)

2014-04-29 Thread Stefano Zacchiroli
This is an automated email from the git hooks/post-receive script. zack pushed a change to annotated tag upstream/0.7 in repository cudf. at 82eacde (tag) tagging 8f27b3496f7a956cd778d789d6f3b295edff3b7c (commit) replaces upstream/0.6.3 tagged by Stefano Zacchiroli on