Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / coq
Commits: 9ebf44d8 by Benjamin Barenblat at 2019-02-03T00:29:23Z Imported Upstream version 8.9.0 - - - - - 30 changed files: - − .bintray.json - .github/PULL_REQUEST_TEMPLATE.md - .gitlab-ci.yml - .merlin → .merlin.in - − .travis.yml - CHANGES → CHANGES.md - CONTRIBUTING.md - CREDITS - INSTALL - − INSTALL.doc - − INSTALL.ide - META.coq → META.coq.in - Makefile - Makefile.build - Makefile.checker - Makefile.ci - Makefile.common - Makefile.dev - Makefile.doc - Makefile.ide - Makefile.install - + Makefile.vofiles - README.md - checker/check.mllib - checker/checker.ml - checker/cic.mli - checker/closure.ml - checker/closure.mli - checker/declarations.ml - checker/declarations.mli The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/9ebf44d84754adc5b64fcf612c6816c02c80462d -- View it on GitLab: https://salsa.debian.org/ocaml-team/coq/commit/9ebf44d84754adc5b64fcf612c6816c02c80462d You're receiving this email because of your account on salsa.debian.org.