[Pkg-ocaml-maint-commits] [menhir] 01/01: pristine-tar data for menhir_20170712.orig.tar.gz

2017-07-12 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 menhir. commit aca92152e75d85ef0fdf1c0024c4bf927cdffdb5 Author: Ralf Treinen Date: Wed Jul 12 11:52:41 2017 +0200 pristine-tar data for

[Pkg-ocaml-maint-commits] [menhir] 04/05: new upstream 20170712

2017-07-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir. commit 6b5f28db550262fe4097961699f7eb6b7e963bec Author: Ralf Treinen <trei...@irif.fr> Date: Wed Jul 12 11:55:44 2017 +0200 new upstream 20170712 ---

[Pkg-ocaml-maint-commits] [menhir] branch pristine-tar updated (a1c3deb -> aca9215)

2017-07-12 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 menhir. from a1c3deb pristine-tar data for menhir_20170607.dfsg.orig.tar.gz new aca9215 pristine-tar data for menhir_20170712.orig.tar.gz The 1

[Pkg-ocaml-maint-commits] [menhir] 05/05: d/tests: depend on @

2017-07-12 Thread Ralf Treinen
debian/changelog | 3 ++- debian/tests/control | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index f688bb9..3063a78 100644 --- a/debian/changelog +++ b/debian/changelog @@ -3,8 +3,9 @@ menhir (20170712-1) UNRELEASED; urgency=medium

[Pkg-ocaml-maint-commits] [menhir] 01/05: drop filtering of upstream tarball

2017-07-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir. commit 674903e1cfb1d032e13519e1b169526b3f67bc0b Author: Ralf Treinen Date: Wed Jul 12 11:51:49 2017 +0200 drop filtering of upstream tarball

[Pkg-ocaml-maint-commits] [menhir] branch master updated (8f11b96 -> 1be68ec)

2017-07-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository menhir. from 8f11b96 upload to sid new 674903e drop filtering of upstream tarball new 97643f5 New upstream version 20170712 new 16b1d5b

[Pkg-ocaml-maint-commits] [menhir] annotated tag upstream/20170712 created (now 7ce8410)

2017-07-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to annotated tag upstream/20170712 in repository menhir. at 7ce8410 (tag) tagging 97643f52fdd6cf0b2e83b2f5be029d36bbb24a9a (commit) replaces upstream/20170607.dfsg tagged by Ralf

[Pkg-ocaml-maint-commits] [menhir] 03/05: Merge tag 'upstream/20170712'

2017-07-12 Thread Ralf Treinen
ge tag 'upstream/20170712' Upstream version 20170712 CHANGES.md |8 + doc/Makefile | 17 + doc/declarations-onerrorreduce.mly | 10 + doc/declarations-phantom.mly |9 + doc/declarations.mly |9 + doc/fpp

[Pkg-ocaml-maint-commits] [menhir] branch upstream updated (6f9a81c -> 97643f5)

2017-07-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch upstream in repository menhir. from 6f9a81c New upstream version 20170607.dfsg new 97643f5 New upstream version 20170712 The 1 revisions listed above as "new" are en

[Pkg-ocaml-maint-commits] [camlp5] 07/10: Bump debhelper compat to 10

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository camlp5. commit f28a18c4fadc8cbac00c42b70e7193caec8c8a86 Author: Stephane Glondu Date: Thu Jul 13 04:21:51 2017 +0200 Bump debhelper compat to 10 ---

[Pkg-ocaml-maint-commits] [camlp5] 06/10: New upstream release

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository camlp5. commit 558e06d5c7477a0ebbb400366c4775ed6e65e12b Author: Stephane Glondu Date: Thu Jul 13 04:20:41 2017 +0200 New upstream release ---

[Pkg-ocaml-maint-commits] [camlp5] 01/03: pristine-tar data for camlp5_6.17.orig.tar.gz

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository camlp5. commit 5956898e43f6bad6a9865b211dd4a812744a0a2a Author: Stephane Glondu Date: Thu Jul 13 04:17:40 2017 +0200 pristine-tar data for

[Pkg-ocaml-maint-commits] [camlp5] 09/10: Update changelog

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository camlp5. commit bcad0f4416918c25e49fa3de43da97a856a3d903 Author: Stephane Glondu Date: Thu Jul 13 04:29:34 2017 +0200 Update changelog ---

[Pkg-ocaml-maint-commits] [camlp5] 10/10: Prepare upload to unstable

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository camlp5. commit f36200e08b881c1e18244863570491351c705581 Author: Stephane Glondu Date: Thu Jul 13 04:46:45 2017 +0200 Prepare upload to unstable ---

[Pkg-ocaml-maint-commits] [camlp5] annotated tag upstream/7.01 created (now e1734a1)

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/7.01 in repository camlp5. at e1734a1 (tag) tagging 6d11c73fc24c0264b070edcdc071454eaca9c45c (commit) replaces upstream/7.00 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [camlp5] branch pristine-tar updated (d60b96d -> 2a93a07)

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch pristine-tar in repository camlp5. from d60b96d pristine-tar data for camlp5_6.16.orig.tar.gz new 5956898 pristine-tar data for camlp5_6.17.orig.tar.gz new 65e69a9

[Pkg-ocaml-maint-commits] [camlp5] annotated tag upstream/7.00 created (now e5673ec)

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/7.00 in repository camlp5. at e5673ec (tag) tagging e61a06cc7b3fbc98c3c80c2501b88165633abb3e (commit) replaces upstream/6.17 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [camlp5] branch upstream updated (054cbe5 -> 6d11c73)

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch upstream in repository camlp5. from 054cbe5 Imported Upstream version 6.16 new 9189361 New upstream version 6.17 new e61a06c New upstream version 7.00 new

[Pkg-ocaml-maint-commits] [camlp5] 05/10: Updated version 7.01 from 'upstream/7.01'

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository camlp5. commit 7ab93d57c24a886167c380cfc84e01e89a46c544 Merge: 02f3856 6d11c73 Author: Stephane Glondu Date: Thu Jul 13 04:19:10 2017 +0200 Updated

[Pkg-ocaml-maint-commits] [camlp5] 03/03: pristine-tar data for camlp5_7.01.orig.tar.gz

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository camlp5. commit 2a93a0754305bcf45bd87fcb7e89bfdb4a2bec08 Author: Stephane Glondu Date: Thu Jul 13 04:19:10 2017 +0200 pristine-tar data for

[Pkg-ocaml-maint-commits] [camlp5] 08/10: Bump Standards-Version to 4.0.0

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository camlp5. commit 8ca1ed503cf14a0d74d2f07d1cedf15d2d51accf Author: Stephane Glondu Date: Thu Jul 13 04:28:32 2017 +0200 Bump Standards-Version to 4.0.0

[Pkg-ocaml-maint-commits] [camlp5] branch master updated (cac6dae -> f36200e)

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository camlp5. from cac6dae Update changelog and prepare upload to unstable new 02f3856 Update Homepage and watch to github new 9189361 New upstream

[Pkg-ocaml-maint-commits] [camlp5] 01/10: Update Homepage and watch to github

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository camlp5. commit 02f385695a7886fb1c3211b19d8b53c92e476e7e Author: Stephane Glondu Date: Thu Jul 13 04:13:03 2017 +0200 Update Homepage and watch to

[Pkg-ocaml-maint-commits] [camlp5] annotated tag upstream/6.17 created (now d96af7a)

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/6.17 in repository camlp5. at d96af7a (tag) tagging 9189361aa26849f1a1011ce8f2c76204156bd708 (commit) replaces upstream/6.16 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [camlp5] annotated tag debian/7.01-1 created (now b579049)

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/7.01-1 in repository camlp5. at b579049 (tag) tagging f36200e08b881c1e18244863570491351c705581 (commit) replaces debian/6.16-1 tagged by Stephane Glondu

[Pkg-ocaml-maint-commits] [camlp5] 02/03: pristine-tar data for camlp5_7.00.orig.tar.gz

2017-07-12 Thread Stéphane Glondu
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository camlp5. commit 65e69a93948fe1388d08b800ba390ad6bbb4ac3c Author: Stephane Glondu Date: Thu Jul 13 04:18:02 2017 +0200 pristine-tar data for

[Pkg-ocaml-maint-commits] [menhir] 01/01: mv menhir.install.in to menhir.install

2017-07-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a commit to branch master in repository menhir. commit 7702664fb5d7f81b9f92f15acb1c2bdf0ba09e38 Author: Ralf Treinen Date: Wed Jul 12 23:52:52 2017 +0200 mv menhir.install.in to

[Pkg-ocaml-maint-commits] [menhir] branch master updated (bcf4943 -> 7702664)

2017-07-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository menhir. from bcf4943 install first into debian/tmp new 7702664 mv menhir.install.in to menhir.install The 1 revisions listed above as "new" are entirely

[Pkg-ocaml-maint-commits] [menhir] 02/03: +binary package menhir-doc

2017-07-12 Thread Ralf Treinen
+1,15 @@ menhir (20170712-1) UNRELEASED; urgency=medium * new upstream release, now including the sources of the manual. + * new binary package menhir-doc, containing the manual in pdf +(closes: #484497). +- add debian/menhir-doc.docs. * drop debian/purify-tarball which is no longer

[Pkg-ocaml-maint-commits] [menhir] branch master updated (1be68ec -> bcf4943)

2017-07-12 Thread Ralf Treinen
This is an automated email from the git hooks/post-receive script. treinen pushed a change to branch master in repository menhir. from 1be68ec d/tests: depend on @ new f7c035b change section to ocaml new d540b6c +binary package menhir-doc new bcf4943

[Pkg-ocaml-maint-commits] [menhir] 03/03: install first into debian/tmp

2017-07-12 Thread Ralf Treinen
/rules | 7 +-- 9 files changed, 20 insertions(+), 11 deletions(-) diff --git a/debian/changelog b/debian/changelog index ddbfe8e..9f75617 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,12 +4,18 @@ menhir (20170712-1) UNRELEASED; urgency=medium * new binary package

[Pkg-ocaml-maint-commits] [menhir] 01/03: change section to ocaml

2017-07-12 Thread Ralf Treinen
debian/changelog | 3 ++- debian/control | 3 +-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/debian/changelog b/debian/changelog index 3063a78..d660af7 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,8 +4,9 @@ menhir (20170712-1) UNRELEASED; urgency=medium * drop