[Git][ocaml-team/alt-ergo][master] 5 commits: New upstream version 2.4.2

["Julien Puydt (@jpuydt)" <gitlab@salsa.debian.org>]

Title: GitLab

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.
You're receiving this email because of your account on salsa.debian.org. If you'd like to receive fewer emails, you can adjust your notification settings.