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 | 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.mli | 6 +- src/syntax.mli | 173 ++++-- src/tableBackend.ml | 96 +-- src/tarjan.ml | 112 ++-- src/tokenType.ml | 24 +- src/traverse.ml | 156 ++--- src/unionFind.ml | 30 +- src/unparameterizedPrinter.ml | 153 ++--- src/unparameterizedSyntax.ml | 26 +- src/version.ml | 2 +- src/yacc-parser.mly | 54 +- 111 files changed, 4165 insertions(+), 3817 deletions(-) create mode 100644 src/anonymous.ml create mode 100644 src/anonymous.mli mode change 100755 => 100644 src/astar.ml delete mode 100644 src/concreteSyntax.mli delete mode 100644 src/internalSyntax.mli -- 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