Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / menhir
Commits: 1a51d4c6 by Ralf Treinen at 2019-07-03T15:10:17Z New upstream version 20190626 - - - - - 21da35d7 by Ralf Treinen at 2019-07-03T15:10:23Z Update upstream source from tag 'upstream/20190626' Update to upstream version '20190626' with Debian dir b3f2ff40d9512e40110cc3fbb65fa76f34d20c8f - - - - - 1455e337 by Ralf Treinen at 2019-07-03T15:11:06Z new upstream 20190626 - - - - - 30b6a665 by Ralf Treinen at 2019-07-03T15:14:26Z drop patch for coqlib installation - - - - - cfa6a76f by Ralf Treinen at 2019-07-03T16:04:49Z as-installed test for coq, rename test 'calc' to 'standalone' and tighten test dependencies. - - - - - 80ebd0b7 by Ralf Treinen at 2019-07-03T16:12:06Z libmenhir-ocaml-dev: + Suggests ocaml-findlib - - - - - 10593862 by Ralf Treinen at 2019-07-03T16:14:31Z d/control: cosmetic change - - - - - 30 changed files: - coq-menhirlib/CHANGES.md - coq-menhirlib/src/Interpreter_complete.v - coq-menhirlib/src/Makefile - coq-menhirlib/src/Validator_complete.v - coq-menhirlib/src/Version.v - debian/changelog - debian/control - debian/copyright - − debian/patches/coqlib-install - − debian/patches/series - debian/rules - + debian/tests/calcdemo-coq/Lexer.v - + debian/tests/calcdemo-coq/Makefile - + debian/tests/calcdemo-coq/Makefile.conf - + debian/tests/calcdemo-coq/Makefile.local - + debian/tests/calcdemo-coq/MiniCalc.v - + debian/tests/calcdemo-coq/Parser.vy - + debian/tests/calcdemo-coq/README.md - + debian/tests/calcdemo-coq/_CoqProject - debian/tests/calc/.merlin → debian/tests/calcdemo-ocaml/.merlin - debian/tests/calc/README → debian/tests/calcdemo-ocaml/README - debian/tests/calc/calc.ml → debian/tests/calcdemo-ocaml/calc.ml - debian/tests/calc/lexer.mll → debian/tests/calcdemo-ocaml/lexer.mll - debian/tests/calc/parser.mly → debian/tests/calcdemo-ocaml/parser.mly - debian/tests/control - + debian/tests/coq - debian/tests/calcdemo → debian/tests/standalone - doc/manual.html - doc/manual.pdf - doc/manual001.png The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/compare/34c147d738412ced24869b1d77d93e8ee6c0e8ae...10593862e9d824d221883f03854c98b9a5fe9ae1 -- View it on GitLab: https://salsa.debian.org/ocaml-team/menhir/compare/34c147d738412ced24869b1d77d93e8ee6c0e8ae...10593862e9d824d221883f03854c98b9a5fe9ae1 You're receiving this email because of your account on salsa.debian.org.
