Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
-
4ffe0aad
by Julien Puydt at 2024-02-09T11:02:00+01:00
30 changed files:
- .github/CODEOWNERS
- .gitlab-ci.yml
- CODE_OF_CONDUCT.md
- CONTRIBUTING.md
- Makefile
- Makefile.ci
- README.md
- checker/check.ml
- checker/checkInductive.ml
- checker/checkTypes.ml
- checker/checker.ml
- checker/mod_checking.ml
- checker/values.ml
- clib/cList.ml
- clib/cMap.ml
- clib/cMap.mli
- clib/cString.ml
- clib/cString.mli
- clib/hMap.ml
- clib/int.ml
- coq-core.opam
- + coq-core.opam.template
- coq-doc.opam
- coq-stdlib.opam
- + coq-stdlib.opam.template
- coq.opam
- + coq.opam.template
- coqide-server.opam
- coqide.opam
- coqpp/coqpp_main.ml