Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / menhir
Commits: 090180e7 by Ralf Treinen at 2020-12-03T10:06:29+01:00 New upstream version 20201201 - - - - - 30 changed files: - doc/.gitignore - 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 - + exec.sh - fix/CHANGES.md - fix/Makefile - fix/README.md - fix/TODO.md - fix/dune - fix/dune-workspace.versions - fix/src/Boolean.ml - fix/src/Boolean.mli - fix/src/Core.mli - fix/src/DataFlow.ml - fix/src/DataFlow.mli - fix/src/Fix.ml - fix/src/Gensym.mli - fix/src/Glue.ml - fix/src/Glue.mli - − fix/src/Graph.ml - fix/src/GraphNumbering.mli - fix/src/HashCons.mli - fix/src/Makefile The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/commit/090180e735dba4de1aaf037d6694d871362c1322 -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/-/commit/090180e735dba4de1aaf037d6694d871362c1322 You're receiving this email because of your account on salsa.debian.org.
