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 Merge tag 'upstream/20170712' new 6b5f28d new upstream 20170712 new 1be68ec d/tests: depend on @ The 5 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.md | 8 + debian/changelog | 9 + debian/gbp.conf | 4 - debian/purify_tarball | 17 - debian/tests/control | 2 +- doc/Makefile | 17 + doc/declarations-onerrorreduce.mly | 10 + doc/declarations-phantom.mly | 9 + doc/declarations.mly | 9 + doc/fppdf.sty | 37 + doc/local.bib | 228 ++ doc/macros.tex | 176 ++ doc/main.tex | 4009 ++++++++++++++++++++++++++++++++++++ doc/mymacros.sty | 30 + doc/plain.bst | 1106 ++++++++++ doc/sigplanconf.cls | 1069 ++++++++++ doc/version.tex | 1 + doc/whizzy.el | 8 + doc/whizzy.sh | 10 + doc/whizzy.sty | 4 + manual.pdf | Bin 0 -> 433418 bytes src/META | 2 +- src/StaticVersion.ml | 2 +- src/StaticVersion.mli | 2 +- src/version.ml | 2 +- 25 files changed, 6745 insertions(+), 26 deletions(-) delete mode 100755 debian/purify_tarball create mode 100644 doc/Makefile create mode 100644 doc/declarations-onerrorreduce.mly create mode 100644 doc/declarations-phantom.mly create mode 100644 doc/declarations.mly create mode 100644 doc/fppdf.sty create mode 100644 doc/local.bib create mode 100644 doc/macros.tex create mode 100644 doc/main.tex create mode 100644 doc/mymacros.sty create mode 100644 doc/plain.bst create mode 100644 doc/sigplanconf.cls create mode 100644 doc/version.tex create mode 100644 doc/whizzy.el create mode 100644 doc/whizzy.sh create mode 100644 doc/whizzy.sty create mode 100644 manual.pdf -- 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