Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / alt-ergo
Commits:
-
0637ce5a
by Julien Puydt at 2022-04-07T13:09:58+02:00
27 changed files:
- + .github/workflows/README.md
- + .github/workflows/build_docker.yml
- + .github/workflows/build_js.yml
- + .github/workflows/build_macos.yml
- + .github/workflows/build_make.yml
- + .github/workflows/build_ubuntu.yml
- + .github/workflows/build_windows.yml
- + .github/workflows/documentation.yml
- + .github/workflows/linter.yml
- + .gitignore
- − COPYING.md
- − INSTALL.md
- LICENSE.md
- − License.OCamlPro
- Makefile
- − Makefile.configurable.in
- − Makefile.developers
- − Makefile.users
- README.md
- + alt-ergo-lib.opam
- + alt-ergo-lib.opam.template
- + alt-ergo-parsers.opam
- + alt-ergo-parsers.opam.template
- + alt-ergo.opam
- + alt-ergo.opam.template
- + altgr-ergo.opam
- + altgr-ergo.opam.template