Stéphane Glondu pushed to branch upstream at Debian OCaml Maintainers / why3
Commits: 7de60b4e by Ralf Treinen at 2025-01-01T16:25:07+01:00 New upstream version 1.8.0 - - - - - 0 changed files: Changes: View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/7de60b4e7d23dc3c05854cd1337604980c1050b6 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/7de60b4e7d23dc3c05854cd1337604980c1050b6 You're receiving this email because of your account on salsa.debian.org.
