Johannes 'josch' Schauer pushed to branch upstream at Debian OCaml Maintainers / dose3
Commits:
-
5c0f6207
by Johannes 'josch' Schauer at 2021-01-27T16:11:52+01:00
19 changed files:
- .gitignore
- + .gitlab-ci.yml
- .gitmodules
- + .ocamlformat
- CHANGES
- INSTALL
- − META.in
- Makefile
- − Makefile.config.in
- − _tags.in
- − algo/algo.mlpack
- − algo/diagnostic.ml
- − applications/ceve.ml
- − applications/challenged.ml
- − applications/outdated.ml
- − common/common.mlpack
- − common/minisatSolver.ml
- − common/tests.ml
- − common/versionInfo.ml.in