[Git][ocaml-team/coq][experimental/upstream] New upstream version 8.10.2

[Ralf Treinen <gitlab@salsa.debian.org>]

Title: GitLab

Ralf Treinen pushed to branch experimental/upstream at Debian OCaml Maintainers / coq

Commits:

• 05ddac2b
  by Ralf Treinen at 2019-12-01T19:13:47Z

  New upstream version 8.10.2

30 changed files:

• Makefile.checker
• Makefile.ide
• checker/check.ml
• checker/checker.ml
• checker/mod_checking.ml
• checker/validate.ml
• checker/values.ml
• clib/bigint.ml
• clib/cArray.ml
• clib/cArray.mli
• clib/cList.mli
• clib/cThread.ml
• clib/heap.ml
• clib/option.ml
• clib/predicate.mli
• clib/segmenttree.ml
• clib/segmenttree.mli
• clib/unionfind.ml
• configure.ml
• dev/doc/critical-bugs
• dev/top_printers.ml
• dev/vm_printers.ml
• doc/plugin_tutorial/tuto1/src/g_tuto1.mlg
• doc/plugin_tutorial/tuto2/src/demo.mlg
• − doc/whodidwhat/whodidwhat-8.2update.tex
• − doc/whodidwhat/whodidwhat-8.3update.tex
• − doc/whodidwhat/whodidwhat-8.4update.tex
• − doc/whodidwhat/whodidwhat-8.5update.tex
• engine/eConstr.ml
• engine/evarutil.ml

The diff was not included because it is too large.

—
View it on GitLab.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.