Ralf Treinen pushed to branch experimental/master at Debian OCaml Maintainers / coq
Commits: 76eaecb5 by Ralf Treinen at 2019-12-01T18:53:54Z more updates of copyright - - - - - 726c64b6 by Ralf Treinen at 2019-12-01T19:13:09Z add doc/whodidwhat to the import filter - - - - - 05ddac2b by Ralf Treinen at 2019-12-01T19:13:47Z New upstream version 8.10.2 - - - - - 69299a5a by Ralf Treinen at 2019-12-01T19:17:13Z Update upstream source from tag 'upstream/8.10.2' Update to upstream version '8.10.2' with Debian dir 8da85e44c0ef52043fd84e247db1aaf5da11be48 - - - - - b6c74586 by Ralf Treinen at 2019-12-01T19:52:48Z update COQ_VERSION - - - - - 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 - debian/changelog - debian/copyright - debian/gbp.conf - debian/rules - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/compare/9e414b23ad8f5f575feccdb29377767f9b539b93...b6c74586a60f4f26a8e00d2c5aa804d224dce051 -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/compare/9e414b23ad8f5f575feccdb29377767f9b539b93...b6c74586a60f4f26a8e00d2c5aa804d224dce051 You're receiving this email because of your account on salsa.debian.org.
