Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
-
9ebf44d8
by Benjamin Barenblat at 2019-02-03T00:29:23Z
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