Ralf Treinen pushed to branch upstream at Debian OCaml Maintainers / why3
Commits: 69c93f9f by Ralf Treinen at 2022-05-02T20:38:00+02:00 New upstream version 1.5.0 - - - - - 12 changed files: - CHANGES.md - Makefile.in - bench/bench - bench/ce-bench - bench/ce/floats.mlw - + bench/ce/jlamp0_mono.mlw - + 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_types_mono_CVC4,1.7_SP.oracle - bench/ce/oracles/algebraic_types_mono_CVC4,1.7_WP.oracle The diff was not included because it is too large. View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/69c93f9f97d650728f98e694413bce1f481f9891 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/69c93f9f97d650728f98e694413bce1f481f9891 You're receiving this email because of your account on salsa.debian.org.
