[Git][ocaml-team/why3][master] 5 commits: New upstream version 1.6.0

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

Title: GitLab

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

Commits:

• 96bdf9b7
  by Stephane Glondu at 2023-09-08T07:00:46+02:00

  New upstream version 1.6.0

• 87764e3d
  by Stephane Glondu at 2023-09-08T07:01:06+02:00

  Update upstream source from tag 'upstream/1.6.0'
  
  Update to upstream version '1.6.0'
  with Debian dir a4d9feb6be26c0d4a056c4bbf5986eb9708ede97

• aa69613f
  by Stephane Glondu at 2023-09-08T07:01:13+02:00

  New upstream release
  

• 64b57af4
  by Stephane Glondu at 2023-09-08T07:08:55+02:00

  Bump Standards-Version to 4.6.2
  

• 0427742b
  by Stephane Glondu at 2023-09-08T07:09:54+02:00

  Update changelog and prepare upload to unstable
  

18 changed files:

• .merlin.in
• CHANGES.md
• + CONTRIBUTING.md
• Makefile.in
• + bench/bddinfer-bench
• bench/bench
• − bench/ce-bench
• + bench/ce-stats.py
• − bench/ce/jlamp0_mono.mlw
• − bench/ce/oracles/algebraic_type_CVC4,1.7_SP.oracle
• − bench/ce/oracles/algebraic_type_CVC4,1.7_WP.oracle
• − bench/ce/oracles/algebraic_type_CVC4,1.8_SP.oracle
• − bench/ce/oracles/algebraic_type_CVC4,1.8_WP.oracle
• − bench/ce/oracles/algebraic_type_Z3,4.8.10_SP.oracle
• − bench/ce/oracles/algebraic_type_Z3,4.8.10_WP.oracle
• − bench/ce/oracles/algebraic_type_Z3,4.8.4_SP.oracle
• − bench/ce/oracles/algebraic_type_Z3,4.8.4_WP.oracle
• − bench/ce/oracles/algebraic_types_mono_CVC4,1.7_SP.oracle

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. Manage all notifications · Help