Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / menhir
Commits: 5ef0c133 by Stephane Glondu at 2024-02-15T14:13:39+01:00 New upstream version 20231231+ds - - - - - cabcdb38 by Stephane Glondu at 2024-02-15T14:13:40+01:00 Update upstream source from tag 'upstream/20231231+ds' Update to upstream version '20231231+ds' with Debian dir 7d499bfff28230f31f4af2a924fb02f5384be019 - - - - - e12453cd by Stephane Glondu at 2024-02-15T14:13:47+01:00 New upstream release - - - - - 2888a3ec by Stephane Glondu at 2024-02-15T14:15:25+01:00 Update packaging - - - - - 7e944a33 by Stephane Glondu at 2024-02-15T14:16:57+01:00 Refresh patches - - - - - 2b373dca by Stephane Glondu at 2024-02-15T14:22:54+01:00 Prepare upload to unstable - - - - - 30 changed files: - LICENSE - check-tarball.sh - + cst/Makefile - + cst/Settle.ml - + cst/Settle.mli - + cst/dune - debian/changelog - debian/debian-dune - debian/patches/menhirLib - doc/.aspell.en.pws - doc/local.bib - doc/macros.tex - doc/manual.tex - + doc/unparsing.tex - doc/version.tex - dune-project - lib/Engine.ml - lib/EngineTypes.ml - lib/IncrementalEngine.ml - lib/TableInterpreter.ml - pprint/CHANGES.md - − pprint/src/PPrintCombinators.ml - − pprint/src/PPrintCombinators.mli - pprint/src/PPrintEngine.ml - pprint/src/PPrintEngine.mli - − pprint/src/PPrintMini.ml - − pprint/src/PPrintOCaml.ml - − pprint/src/PPrintOCaml.mli - − pprint/src/PPrintRenderer.ml - pprint/src/Vendored_pprint.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/5327938cfa55b841d2f25acebd35e8ccdc5432b7...2b373dcaa9a4e7d240c43e437afef8207cdec23a -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/compare/5327938cfa55b841d2f25acebd35e8ccdc5432b7...2b373dcaa9a4e7d240c43e437afef8207cdec23a You're receiving this email because of your account on salsa.debian.org.
