Julien Puydt pushed to branch upstream at Debian OCaml Maintainers / alt-ergo
Commits: 8fdf26e0 by Julien Puydt at 2022-08-06T16:17:47+02:00 New upstream version 2.4.2 - - - - - 30 changed files: - .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 - Makefile - 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 - configure.ml - docs/sphinx_docs/About/changes.md - docs/sphinx_docs/Install/index.md - dune-project - non-regression/challenges/valid/challenge-case-split-non-pred-booleans__KO.ae - non-regression/main_script.sh - non-regression/valid/adts/simple_0.ae - src/bin/common/parse_command.ml - src/bin/gui/annoted_ast.ml - src/bin/gui/annoted_ast.mli - src/bin/gui/connected_ast.ml - src/bin/gui/dune - src/bin/gui/gui_config.ml The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/8fdf26e0668a73383da0d8e00ced58f7717b8bb6 -- View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/commit/8fdf26e0668a73383da0d8e00ced58f7717b8bb6 You're receiving this email because of your account on salsa.debian.org.
