Julien Puydt pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits:
-
3d852571
by Julien Puydt at 2024-04-15T09:07:04+02:00
-
bc3c87b9
by Julien Puydt at 2024-04-15T09:07:27+02:00
-
b0839a6a
by Julien Puydt at 2024-04-15T09:08:39+02:00
30 changed files:
- .github/CODEOWNERS
- .github/workflows/ci-macos.yml
- .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/mod_checking.mli
- 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