[Git][ocaml-team/why3][master] 5 commits: fix typo in changelog entry

["Ralf Treinen (@treinen)" <gitlab@salsa.debian.org>]

Title: GitLab

Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3

Commits:

• 57a4ccff
  by Ralf Treinen at 2023-11-25T00:32:16+01:00

  fix typo in changelog entry
  

• 6d23f86f
  by Ralf Treinen at 2024-03-01T20:30:23+01:00

  New upstream version 1.7.1

• 1320f92b
  by Ralf Treinen at 2024-03-01T20:30:45+01:00

  Update upstream source from tag 'upstream/1.7.1'
  
  Update to upstream version '1.7.1'
  with Debian dir 6bca7c471f97c1f7d0bdb5ca80ce31990ccda642

• 8f082873
  by Ralf Treinen at 2024-03-01T20:55:58+01:00

  debian version 1.7.1-1
  

• f8057d9d
  by Ralf Treinen at 2024-03-03T02:18:35+01:00

  d/clean: remove doc/.doctrees
  

30 changed files:

• CHANGES.md
• CONTRIBUTING.md
• INSTALL.md
• Makefile.in
• README.md
• + bench/alt_ergo_smt/run_bench.sh
• + bench/alt_ergo_smt/why3extra.conf
• bench/bench
• bench/check-ce-bench
• bench/check-ce/703_reduce_term.mlw
• + bench/check-ce/map_of_algebraic.mlw
• + bench/check-ce/oracles/614_Alt-Ergo,2.5.2_SP.oracle
• + bench/check-ce/oracles/614_Alt-Ergo,2.5.2_WP.oracle
• bench/check-ce/oracles/614_CVC4,1.8_SP.oracle
• bench/check-ce/oracles/614_CVC4,1.8_WP.oracle
• bench/check-ce/oracles/614_CVC5,1.0.0_SP.oracle → bench/check-ce/oracles/614_CVC5,1.0.5_SP.oracle
• bench/check-ce/oracles/614_CVC5,1.0.0_WP.oracle → bench/check-ce/oracles/614_CVC5,1.0.5_WP.oracle
• bench/check-ce/oracles/614_Z3,4.8.10_SP.oracle
• bench/check-ce/oracles/614_Z3,4.8.10_WP.oracle
• + bench/check-ce/oracles/615_Alt-Ergo,2.5.2_SP.oracle
• + bench/check-ce/oracles/615_Alt-Ergo,2.5.2_WP.oracle
• bench/check-ce/oracles/615_CVC4,1.8_SP.oracle
• bench/check-ce/oracles/615_CVC4,1.8_WP.oracle
• bench/check-ce/oracles/615_CVC5,1.0.0_SP.oracle → bench/check-ce/oracles/615_CVC5,1.0.5_SP.oracle
• bench/check-ce/oracles/615_CVC5,1.0.0_WP.oracle → bench/check-ce/oracles/615_CVC5,1.0.5_WP.oracle
• bench/check-ce/oracles/615_Z3,4.8.10_SP.oracle
• bench/check-ce/oracles/615_Z3,4.8.10_WP.oracle
• + bench/check-ce/oracles/640_no_loc_failure_Alt-Ergo,2.5.2_SP.oracle
• + bench/check-ce/oracles/640_no_loc_failure_Alt-Ergo,2.5.2_WP.oracle
• bench/check-ce/oracles/640_no_loc_failure_CVC4,1.8_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