Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
-
711e564b
by Julien Puydt at 2022-01-17T10:01:07+01:00
30 changed files:
- .github/CODEOWNERS
- .github/PULL_REQUEST_TEMPLATE.md
- .github/workflows/ci.yml
- + .github/workflows/stale.yml
- .gitlab-ci.yml
- CONTRIBUTING.md
- INSTALL.md
- Makefile.build
- Makefile.ci
- Makefile.common
- Makefile.dev
- Makefile.doc
- Makefile.dune
- Makefile.ide
- Makefile.install
- Makefile.make
- Makefile.vofiles
- README.md
- + boot/dune
- + boot/env.ml
- + boot/env.mli
- theories/Compat/Coq812.v → boot/path.ml
- + boot/util.ml
- checker/check.ml
- checker/checkFlags.ml
- checker/checkInductive.ml
- checker/check_stat.ml
- checker/checker.ml
- checker/dune
- checker/include