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: https://salsa.debian.org/ocaml-team/coq/commit/05ddac2bbc1da4ef8ed51f430547c588d4ffc671 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/05ddac2bbc1da4ef8ed51f430547c588d4ffc671 You're receiving this email because of your account on salsa.debian.org.
