[Pkg-ocaml-maint-commits] [menhir] branch master updated (39784f7 -> 6711997)
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch master in repository menhir. from 39784f7 Release to unstable new 19f71dc Imported Upstream version 20160526.dfsg new 0cee95c Merge tag 'upstream/20160526.dfsg' new 0a933db New upstream release new c3d568f Refresh patches new 5b2f56c Update Vcs-* new a52d97f Switch debian/copyright to format 1.0 new f1f8a1f Bump Standards-Version to 3.9.8 new 59410b0 Bump debhelper compat to 9 new 6711997 Update changelog and prepare upload to unstable The 9 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: CHANGES| 32 +- INSTALLATION | 9 +- Makefile | 13 +- debian/changelog | 11 + debian/compat | 2 +- debian/control | 8 +- debian/copyright | 290 + .../0001-Remove-some-invalid-characters.patch | 3 - ...yte-plugin-to-ocamlbuild-when-TARGET-byte.patch | 5 +- debian/rules | 2 +- src/Driver.mli | 3 +- src/Engine.ml | 6 +- src/Engine.mli | 2 +- src/Fix.ml | 22 +- src/Fix.mli| 1 - src/IL.mli | 18 +- src/IncrementalEngine.ml | 2 +- src/InfiniteArray.ml | 4 +- src/InspectionTableInterpreter.ml | 2 +- src/LRijkstra.ml | 84 ++- src/META | 2 +- src/Makefile | 5 +- src/Maps.ml| 18 +- src/Maps.mli | 4 +- src/PackedIntArray.ml | 30 +- src/RowDisplacement.ml | 62 +- src/StaticVersion.ml | 2 +- src/StaticVersion.mli | 2 +- src/TableFormat.ml | 4 +- src/TableInterpreter.ml| 82 +-- src/TableInterpreter.mli | 2 +- src/_tags | 6 + src/action.ml | 28 +- src/anonymous.ml | 134 + src/anonymous.mli | 3 + src/astar.ml | 26 +- src/back.ml| 16 +- src/checkOCamlVersion.ml | 64 +- src/codeBackend.ml | 364 +-- src/codeBits.ml| 4 +- src/codePieces.ml | 24 +- src/codePieces.mli | 2 +- src/compressedBitSet.ml| 198 +++--- src/concreteSyntax.mli | 9 - src/conflict.ml| 284 - src/coqBackend.ml | 247 src/cst.ml | 46 +- src/derivation.ml | 74 +-- src/dot.ml | 68 +-- src/error.ml | 8 +- src/fancy-parser.mly | 54 +- src/front.ml | 24 +- src/grammarFunctor.ml | 288 - src/grammarFunctor.mli | 8 +- src/infer.ml | 108 ++-- src/infer.mli | 2 +- src/inliner.ml | 156 ++--- src/internalSyntax.mli | 11 - src/interpret.ml | 72 +-- src/invariant.ml | 184 +++--- src/invariant.mli | 2 +- src/item.ml| 162 ++--- src/lexdep.mll | 4 +- src/lexer.mll | 38 +- src/listMonad.ml | 22 +- src/lr0.ml | 104 ++-- src/lr0.mli
[Pkg-ocaml-maint-commits] [menhir] 07/09: Bump Standards-Version to 3.9.8
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository menhir. commit f1f8a1fcb5f9596c9bc728297925c6723c2bcf76 Author: Stephane Glondu Date: Sat Aug 6 10:45:27 2016 +0200 Bump Standards-Version to 3.9.8 --- debian/control | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/control b/debian/control index f9a5583..4178337 100644 --- a/debian/control +++ b/debian/control @@ -10,7 +10,7 @@ Build-Depends: ocaml-nox (>= 4.02~), ocaml-findlib, dh-ocaml (>= 0.9) -Standards-Version: 3.9.2 +Standards-Version: 3.9.8 Homepage: http://gallium.inria.fr/~fpottier/menhir/ Vcs-Git: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/menhir.git Vcs-Browser: https://anonscm.debian.org/git/pkg-ocaml-maint/packages/menhir.git -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [menhir] 02/09: Merge tag 'upstream/20160526.dfsg'
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository menhir. commit 0cee95c57dbabf54fbf19d49528e0f7a28a32789 Merge: 39784f7 19f71dc Author: Stephane Glondu Date: Sat Aug 6 10:28:03 2016 +0200 Merge tag 'upstream/20160526.dfsg' Upstream version 20160526.dfsg CHANGES | 32 +- INSTALLATION | 9 +- Makefile | 13 +- src/Driver.mli | 3 +- src/Engine.ml| 6 +- src/Engine.mli | 2 +- src/Fix.ml | 22 +- src/Fix.mli | 1 - src/IL.mli | 18 +- src/IncrementalEngine.ml | 2 +- src/InfiniteArray.ml | 4 +- src/InspectionTableInterpreter.ml| 2 +- src/LRijkstra.ml | 84 +++-- src/META | 2 +- src/Makefile | 5 +- src/Maps.ml | 18 +- src/Maps.mli | 4 +- src/PackedIntArray.ml| 30 +- src/RowDisplacement.ml | 62 ++-- src/StaticVersion.ml | 2 +- src/StaticVersion.mli| 2 +- src/TableFormat.ml | 4 +- src/TableInterpreter.ml | 82 ++--- src/TableInterpreter.mli | 2 +- src/_tags| 6 + src/action.ml| 28 +- src/anonymous.ml | 134 +++ src/anonymous.mli| 3 + src/astar.ml | 26 +- src/back.ml | 16 +- src/checkOCamlVersion.ml | 64 ++-- src/codeBackend.ml | 364 +-- src/codeBits.ml | 4 +- src/codePieces.ml| 24 +- src/codePieces.mli | 2 +- src/compressedBitSet.ml | 198 +-- src/concreteSyntax.mli | 9 - src/conflict.ml | 284 +++ src/coqBackend.ml| 247 +++-- src/cst.ml | 46 +-- src/derivation.ml| 74 ++-- src/dot.ml | 68 ++-- src/error.ml | 8 +- src/fancy-parser.mly | 54 +-- src/front.ml | 24 +- src/grammarFunctor.ml| 288 +++ src/grammarFunctor.mli | 8 +- src/infer.ml | 108 +++--- src/infer.mli| 2 +- src/inliner.ml | 156 src/internalSyntax.mli | 11 - src/interpret.ml | 72 ++-- src/invariant.ml | 184 +- src/invariant.mli| 2 +- src/item.ml | 162 - src/lexdep.mll | 4 +- src/lexer.mll| 38 +- src/listMonad.ml | 22 +- src/lr0.ml | 104 +++--- src/lr0.mli | 2 +- src/lr1.ml | 456 src/lr1partial.ml| 138 src/misc.ml | 42 +-- src/misc.mli | 16 +- src/myocamlbuild.ml | 59 +++- src/nonTerminalDefinitionInlining.ml | 208 ++- src/parameterizedGrammar.ml | 665 ++- src/parameterizedGrammar.mli | 4 +- src/parameters.ml| 45 +-- src/parserAux.ml | 69 +--- src/parserAux.mli| 11 +- src/partialGrammar.ml| 610 src/partialGrammar.mli | 6 +- src/patricia.ml | 654 +- src/positions.ml | 30 +- src/positions.mli| 14 +- src/pprint.ml| 174 - src/pprint.mli | 4 +- src/printer.ml | 184 +- src/printer.mli | 2 +- src/rawPrinter.ml| 2 +- src/reachability.ml | 12 +- src/referenceInterpreter.ml | 24 +- src/resizableArray.ml| 2 +- src/segment.mll | 2 +- src/sentenceLexer.mll| 20 +- src/sentenceParser.mly | 6 +- src/settings.ml | 67 ++-- src/settings.mli | 4 +- src/slr.ml | 12 +- src/standard.mly | 2 +- src/stretch.mli | 16 +- src/stringMap.ml | 12 +- src/stringMap.ml
[Pkg-ocaml-maint-commits] [menhir] 01/01: pristine-tar data for menhir_20160526.dfsg.orig.tar.gz
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch pristine-tar in repository menhir. commit 357ab2f796e73cbbc460918c088339c251346b8f Author: Stephane Glondu Date: Sat Aug 6 10:28:02 2016 +0200 pristine-tar data for menhir_20160526.dfsg.orig.tar.gz --- menhir_20160526.dfsg.orig.tar.gz.delta | Bin 0 -> 6829 bytes menhir_20160526.dfsg.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) diff --git a/menhir_20160526.dfsg.orig.tar.gz.delta b/menhir_20160526.dfsg.orig.tar.gz.delta new file mode 100644 index 000..eaa59ab Binary files /dev/null and b/menhir_20160526.dfsg.orig.tar.gz.delta differ diff --git a/menhir_20160526.dfsg.orig.tar.gz.id b/menhir_20160526.dfsg.orig.tar.gz.id new file mode 100644 index 000..3405da4 --- /dev/null +++ b/menhir_20160526.dfsg.orig.tar.gz.id @@ -0,0 +1 @@ +0a206c7c70998ea1aac6e20fa7444b401db57742 -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [menhir] 04/09: Refresh patches
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository menhir. commit c3d568fb08a536e2f9f9f731b34fe24b0ed9061b Author: Stephane Glondu Date: Sat Aug 6 10:33:15 2016 +0200 Refresh patches --- debian/patches/0001-Remove-some-invalid-characters.patch | 3 --- .../0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch | 5 + 2 files changed, 1 insertion(+), 7 deletions(-) diff --git a/debian/patches/0001-Remove-some-invalid-characters.patch b/debian/patches/0001-Remove-some-invalid-characters.patch index 0d3dcf2..d5dba8d 100644 --- a/debian/patches/0001-Remove-some-invalid-characters.patch +++ b/debian/patches/0001-Remove-some-invalid-characters.patch @@ -19,6 +19,3 @@ index e241b91..ac2940c 100644 .PP This manual page was written by Samuel Mimram , for the Debian project (but may be used by others). --- -2.7.0.rc3 - diff --git a/debian/patches/0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch b/debian/patches/0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch index 3853c5d..d3c8f69 100644 --- a/debian/patches/0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch +++ b/debian/patches/0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch @@ -7,7 +7,7 @@ Subject: Pass -byte-plugin to ocamlbuild when TARGET=byte 1 file changed, 3 insertions(+) diff --git a/src/Makefile b/src/Makefile -index e3af30f..e6a523e 100644 +index 94acf9d..4b5f8d9 100644 --- a/src/Makefile +++ b/src/Makefile @@ -20,6 +20,9 @@ endif @@ -20,6 +20,3 @@ index e3af30f..e6a523e 100644 # # For everyday development. --- -2.7.0.rc3 - -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [menhir] 09/09: Update changelog and prepare upload to unstable
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository menhir. commit 67119974c3b9a2e1d7dfb9763a3da43b6bb43274 Author: Stephane Glondu Date: Sat Aug 6 10:55:40 2016 +0200 Update changelog and prepare upload to unstable --- debian/changelog | 9 +++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index fa7c1e1..c4655ee 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,8 +1,13 @@ -menhir (20160526.dfsg-1) UNRELEASED; urgency=medium +menhir (20160526.dfsg-1) unstable; urgency=medium + * Team upload * New upstream release + * Update Vcs-* + * Switch debian/copyright to format 1.0 + * Bump Standards-Version to 3.9.8 + * Bump debhelper compat to 9 - -- Stéphane Glondu Sat, 06 Aug 2016 10:28:31 +0200 + -- Stéphane Glondu Sat, 06 Aug 2016 10:55:33 +0200 menhir (20151112.dfsg-1) unstable; urgency=medium -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [menhir] annotated tag upstream/20160526.dfsg created (now 88c15f4)
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag upstream/20160526.dfsg in repository menhir. at 88c15f4 (tag) tagging 19f71dce1efa60e0960260149688b421988e3346 (commit) replaces upstream/20151112.dfsg tagged by Stephane Glondu on Sat Aug 6 10:28:03 2016 +0200 - Log - Upstream version 20160526.dfsg Stephane Glondu (1): Imported Upstream version 20160526.dfsg --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [menhir] branch pristine-tar updated (aa28de6 -> 357ab2f)
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch pristine-tar in repository menhir. from aa28de6 pristine-tar data for menhir_20151112.dfsg.orig.tar.gz new 357ab2f pristine-tar data for menhir_20160526.dfsg.orig.tar.gz The 1 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: menhir_20160526.dfsg.orig.tar.gz.delta | Bin 0 -> 6829 bytes menhir_20160526.dfsg.orig.tar.gz.id| 1 + 2 files changed, 1 insertion(+) create mode 100644 menhir_20160526.dfsg.orig.tar.gz.delta create mode 100644 menhir_20160526.dfsg.orig.tar.gz.id -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [menhir] branch upstream updated (f4beec5 -> 19f71dc)
This is an automated email from the git hooks/post-receive script. glondu pushed a change to branch upstream in repository menhir. from f4beec5 Imported Upstream version 20151112.dfsg new 19f71dc Imported Upstream version 20160526.dfsg The 1 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: CHANGES | 32 +- INSTALLATION | 9 +- Makefile | 13 +- src/Driver.mli | 3 +- src/Engine.ml| 6 +- src/Engine.mli | 2 +- src/Fix.ml | 22 +- src/Fix.mli | 1 - src/IL.mli | 18 +- src/IncrementalEngine.ml | 2 +- src/InfiniteArray.ml | 4 +- src/InspectionTableInterpreter.ml| 2 +- src/LRijkstra.ml | 84 +++-- src/META | 2 +- src/Makefile | 5 +- src/Maps.ml | 18 +- src/Maps.mli | 4 +- src/PackedIntArray.ml| 30 +- src/RowDisplacement.ml | 62 ++-- src/StaticVersion.ml | 2 +- src/StaticVersion.mli| 2 +- src/TableFormat.ml | 4 +- src/TableInterpreter.ml | 82 ++--- src/TableInterpreter.mli | 2 +- src/_tags| 6 + src/action.ml| 28 +- src/anonymous.ml | 134 +++ src/anonymous.mli| 3 + src/astar.ml | 26 +- src/back.ml | 16 +- src/checkOCamlVersion.ml | 64 ++-- src/codeBackend.ml | 364 +-- src/codeBits.ml | 4 +- src/codePieces.ml| 24 +- src/codePieces.mli | 2 +- src/compressedBitSet.ml | 198 +-- src/concreteSyntax.mli | 9 - src/conflict.ml | 284 +++ src/coqBackend.ml| 247 +++-- src/cst.ml | 46 +-- src/derivation.ml| 74 ++-- src/dot.ml | 68 ++-- src/error.ml | 8 +- src/fancy-parser.mly | 54 +-- src/front.ml | 24 +- src/grammarFunctor.ml| 288 +++ src/grammarFunctor.mli | 8 +- src/infer.ml | 108 +++--- src/infer.mli| 2 +- src/inliner.ml | 156 src/internalSyntax.mli | 11 - src/interpret.ml | 72 ++-- src/invariant.ml | 184 +- src/invariant.mli| 2 +- src/item.ml | 162 - src/lexdep.mll | 4 +- src/lexer.mll| 38 +- src/listMonad.ml | 22 +- src/lr0.ml | 104 +++--- src/lr0.mli | 2 +- src/lr1.ml | 456 src/lr1partial.ml| 138 src/misc.ml | 42 +-- src/misc.mli | 16 +- src/myocamlbuild.ml | 59 +++- src/nonTerminalDefinitionInlining.ml | 208 ++- src/parameterizedGrammar.ml | 665 ++- src/parameterizedGrammar.mli | 4 +- src/parameters.ml| 45 +-- src/parserAux.ml | 69 +--- src/parserAux.mli| 11 +- src/partialGrammar.ml| 610 src/partialGrammar.mli | 6 +- src/patricia.ml | 654 +- src/positions.ml | 30 +- src/positions.mli| 14 +- src/pprint.ml| 174 - src/pprint.mli | 4 +- src/printer.ml | 184 +- src/printer.mli | 2 +- src/rawPrinter.ml| 2 +- src/reachability.ml | 12 +- src/referenceInterpreter.ml | 24 +- src/resizableArray.ml| 2 +- src/segment.mll | 2 +- src/sentenceLexer.mll| 20 +- src/sentenceParser.mly | 6 +- src/settings.ml | 67 ++-- src/settings.mli | 4 +- src/slr.ml |
[Pkg-ocaml-maint-commits] [menhir] annotated tag debian/20160526.dfsg-1 created (now dfc6e18)
This is an automated email from the git hooks/post-receive script. glondu pushed a change to annotated tag debian/20160526.dfsg-1 in repository menhir. at dfc6e18 (tag) tagging 67119974c3b9a2e1d7dfb9763a3da43b6bb43274 (commit) replaces debian/20151112.dfsg-1 tagged by Stephane Glondu on Sat Aug 6 11:00:59 2016 +0200 - Log - menhir Debian release 20160526.dfsg-1 -BEGIN PGP SIGNATURE- Version: GnuPG v1 iQIcBAABCgAGBQJXpadLAAoJEHhT2k1JiBrTxcIP/19ETDyoBQEO5JGB2ZLErGSG I+7e6RpsAvJsk3iXByBlSnEhe9DHHpYNRdcY+DWxiE8yPGDsRueZXND1nmuteZ2n LNsPv4LOTdahzw4RprzwLa4+AD5fpmUtwgTWcm7o5PfTACf8gmvsatSe9yZMk/Es cpT8WjHeyI9P4qYAwFAMyFbWfcmrXucad8ETvuPl5shIWy/xyi38hi+Ibmg9s6tT VAcFfuwM7XPVVN1V58HR4zGdd8XvX5VBcSHOuXjyIIpQpVux0ZThBahPY6tXAL0z a6Gkci7vwXxdTc9D+eGuLODF9DmZbvoHW3zdd8bZbcL8uFb5045Qq83EhbWE8sVB 5EyZwwyj3Gol62rvwGZm+GNv50uVl1sJh71js2pQ6XezsV+t8WL1qwZyYvpFjAyk SwbyVUwuCVndpHdLpB0b+5Ude7ptHP4QHsPGO/gSiQ/JjEXjtPPLU6wvkb7ZndwH 7HImktq72OQP3f9/r0xtVBmBY+wnfjaBMMlpA6AjVbMykwxOZ/pf//keSaW41y8R EKHJZusxFl1QxMDDYgjvsB/AJ4rQ1uFgw/NAHEoCI/Vo/wnnw1ChZi2zaS5ypiVA yj7ULS7DjfWG0u17sawgX8u6qvQ6+Asre+2oOTk1Dyvn+g5IY+LSpbBJwdsraKVW eUOt9hemerk3T/XdmSyn =uWt8 -END PGP SIGNATURE- Stephane Glondu (9): Imported Upstream version 20160526.dfsg Merge tag 'upstream/20160526.dfsg' New upstream release Refresh patches Update Vcs-* Switch debian/copyright to format 1.0 Bump Standards-Version to 3.9.8 Bump debhelper compat to 9 Update changelog and prepare upload to unstable --- No new revisions were added by this update. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
[Pkg-ocaml-maint-commits] [menhir] 03/09: New upstream release
This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository menhir. commit 0a933db6c9b1ed05dbecb0ca2937dc62f7f06725 Author: Stephane Glondu Date: Sat Aug 6 10:28:36 2016 +0200 New upstream release --- debian/changelog | 6 ++ 1 file changed, 6 insertions(+) diff --git a/debian/changelog b/debian/changelog index 1117b6b..fa7c1e1 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +menhir (20160526.dfsg-1) UNRELEASED; urgency=medium + + * New upstream release + + -- Stéphane Glondu Sat, 06 Aug 2016 10:28:31 +0200 + menhir (20151112.dfsg-1) unstable; urgency=medium * New upstream release. -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/menhir.git ___ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
