Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
-
8b939ce1
by Julien Puydt at 2023-06-07T12:47:39+02:00
26 changed files:
- .github/CODEOWNERS
- .github/PULL_REQUEST_TEMPLATE.md
- .github/workflows/ci-macos.yml
- .gitlab-ci.yml
- − .ocamlinit
- CODE_OF_CONDUCT.md
- CONTRIBUTING.md
- INSTALL.md
- Makefile
- − Makefile.build
- Makefile.ci
- − Makefile.common
- − Makefile.dev
- − Makefile.doc
- − Makefile.dune
- − Makefile.ide
- − Makefile.install
- − Makefile.make
- − Makefile.vofiles
- boot/usage.ml
- checker/checker.ml
- clib/cList.ml
- clib/cList.mli
- clib/cMap.ml
- clib/cMap.mli
- clib/cThread.ml