Julien Puydt pushed to branch master 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 - - - - - 25ff8e0c by Julien Puydt at 2022-08-06T16:17:57+02:00 Update upstream source from tag 'upstream/2.4.2' Update to upstream version '2.4.2' with Debian dir 1d8e64088f5328fbc1564f3bb307b9066d7f39e6 - - - - - e11f1727 by Julien Puydt at 2022-08-06T16:19:48+02:00 Package new upstream 2.4.2 - - - - - f2772619 by Julien Puydt at 2022-08-06T16:22:33+02:00 Drop all patches (upstreamed) - - - - - b581dfd7 by Julien Puydt at 2022-08-06T16:55:39+02:00 Prepare for upload - - - - - 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 - debian/changelog - − debian/patches/fix_cmdliner_1.1.1.patch - − debian/patches/fix_menhir_inferences.patch - − debian/patches/fix_non_native_architectures.patch - − debian/patches/series - 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 The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/6fcbe2a0edab35f816a5cb9f71202e391cb70bb6...b581dfd7ab9167e93e075a77894a251748c93f46 -- View it on GitLab: https://salsa.debian.org/ocaml-team/alt-ergo/-/compare/6fcbe2a0edab35f816a5cb9f71202e391cb70bb6...b581dfd7ab9167e93e075a77894a251748c93f46 You're receiving this email because of your account on salsa.debian.org.
