Mehdi Dogguy pushed to branch master at Debian OCaml Maintainers / menhir
Commits: 03022e89 by Mehdi Dogguy at 2021-01-17T20:36:24+01:00 New upstream version 20201214 - - - - - 089a396a by Mehdi Dogguy at 2021-01-17T20:36:28+01:00 Update upstream source from tag 'upstream/20201214' Update to upstream version '20201214' with Debian dir ea8c9596865304d882c82b83313772da9b35c1ea - - - - - ffeb35d9 by Mehdi Dogguy at 2021-01-17T20:36:33+01:00 New upstream version 20201216 - - - - - 12f9fbc4 by Mehdi Dogguy at 2021-01-17T20:36:36+01:00 Update upstream source from tag 'upstream/20201216' Update to upstream version '20201216' with Debian dir ea8c9596865304d882c82b83313772da9b35c1ea - - - - - c677cbf2 by Mehdi Dogguy at 2021-01-17T20:38:31+01:00 New upstream release - - - - - 26b78c96 by Mehdi Dogguy at 2021-01-17T21:01:36+01:00 Set '--prefix=usr --libdir=lib/ocaml' when using [dune install] - - - - - 27dd7a63 by Mehdi Dogguy at 2021-01-17T21:01:58+01:00 Release menhir 20201216-1 to unstable - - - - - 30 changed files: - debian/changelog - debian/rules - doc/macros.tex - doc/manual.html - doc/manual.pdf - doc/manual.tex - doc/manual001.png - doc/manual002.png - doc/manual003.png - doc/version.tex - dune-project - lib/Engine.ml - lib/EngineTypes.ml - lib/IncrementalEngine.ml - + src/AutomatonGraph.ml - + src/AutomatonGraph.mli - src/DependencyGraph.ml → src/ReferenceGraph.ml - src/DependencyGraph.mli → src/ReferenceGraph.mli - src/back.ml - src/codeBackend.ml - src/codeBits.ml - src/codeBits.mli - src/codePieces.ml - src/codePieces.mli - src/conflict.ml - src/grammarFunctor.ml - src/grammarFunctor.mli - src/interpret.ml - src/invariant.ml - src/lexer.mll The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/94d37d497655cc5bd1bc91f8c09a97de28538f67...27dd7a6358f69ed3682a3bc179c97f51ce01ab93 -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/94d37d497655cc5bd1bc91f8c09a97de28538f67...27dd7a6358f69ed3682a3bc179c97f51ce01ab93 You're receiving this email because of your account on salsa.debian.org.