[Git][ocaml-team/why3][upstream] New upstream version 1.4.0

[Stéphane Glondu (@glondu) <gitlab@salsa.debian.org>]

Title: GitLab

Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / why3

Commits:

• f5f1014f
  by Stephane Glondu at 2021-11-23T10:21:58+01:00

  New upstream version 1.4.0

13 changed files:

• − .dockerignore
• .merlin.in
• CHANGES.md
• INSTALL.md
• Makefile.in
• bench/bench
• bench/ce-bench
• + bench/ce/attributes.mlw
• − bench/ce/jlamp0/why3session.xml
• − bench/ce/jlamp0/why3shapes.gz
• − bench/ce/let_constant/why3shapes.gz
• + bench/ce/loop_ce.mlw
• + bench/ce/loop_inv.mlw

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.