[Git][ocaml-team/alt-ergo][master] 11 commits: New upstream version 2.4.1

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

Title: GitLab

Julien Puydt pushed to branch master at Debian OCaml Maintainers / alt-ergo

Commits:

• 0637ce5a
  by Julien Puydt at 2022-04-07T13:09:58+02:00

  New upstream version 2.4.1

• 82154412
  by Julien Puydt at 2022-04-07T13:10:04+02:00

  Update upstream source from tag 'upstream/2.4.1'
  
  Update to upstream version '2.4.1'
  with Debian dir 8bc17863cee2057aa9e6ce1f49b84de8fa0fd18d

• 2bdb5b5a
  by Julien Puydt at 2022-04-07T13:10:46+02:00

  Package new upstream 2.4.1
  

• 65ea4c3b
  by Julien Puydt at 2022-04-08T09:07:01+02:00

  Adapt to new upstream build system
  

• d8aa5ab8
  by Julien Puydt at 2022-04-08T09:07:06+02:00

  Drop patches (obsolete)
  

• 7b26652f
  by Julien Puydt at 2022-04-08T09:07:29+02:00

  Complete b-deps
  

• 594de841
  by Julien Puydt at 2022-04-18T16:46:58+02:00

  Add a patch to work with a recent menhir
  

• 890afbe3
  by Julien Puydt at 2022-04-18T16:54:49+02:00

  Update d/copyright
  

• de892443
  by Julien Puydt at 2022-04-18T16:56:49+02:00

  Find the manpage in docs/ and not doc/
  

• 2ff5ea46
  by Julien Puydt at 2022-04-18T17:35:55+02:00

  Adapt to new upstream install system
  

• 2c381d6b
  by Julien Puydt at 2022-04-18T20:41:17+02:00

  s
  

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

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.