Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq-doc
Commits:
-
8712545f
by Julien Puydt at 2024-12-26T21:32:30+01:00
30 changed files:
- .github/CODEOWNERS
- − .github/ISSUE_TEMPLATE.md
- + .github/ISSUE_TEMPLATE/bug_report.yml
- + .github/ISSUE_TEMPLATE/config.yml
- + .github/ISSUE_TEMPLATE/feature_request.yml
- .github/workflows/ci-macos.yml
- .gitlab-ci.yml
- INSTALL.md
- Makefile
- Makefile.ci
- README.md
- boot/usage.ml
- checker/check.ml
- checker/checkInductive.ml
- checker/check_stat.ml
- checker/checker.ml
- checker/dune
- checker/mod_checking.ml
- checker/mod_checking.mli
- checker/safe_checking.ml
- checker/safe_checking.mli
- checker/values.ml
- checker/values.mli
- checker/votour.ml
- clib/cArray.ml
- clib/cArray.mli
- clib/cList.ml
- clib/cList.mli
- clib/cMap.ml
- clib/cMap.mli