Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: 0b085305 by Ralf Treinen at 2025-04-20T11:14:11+02:00 update home page - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,9 @@ +why3 (1.8.0-3) UNRELEASED; urgency=medium + + * Update home page. + + -- + why3 (1.8.0-2) unstable; urgency=medium * Team upload ===================================== debian/control ===================================== @@ -26,8 +26,8 @@ Build-Depends: # tex-gyre, # graphviz Standards-Version: 4.7.0 -Rules-Requires-Root: no -Homepage: http://why3.lri.fr/ +Rules-Requires-Root: nohttps://www.why3.org/ +Homepage: https://www.why3.org/ Vcs-Git: https://salsa.debian.org/ocaml-team/why3.git Vcs-Browser: https://salsa.debian.org/ocaml-team/why3 View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/0b085305cc62797ef0a67c859c2c5f25e1bedc75 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/0b085305cc62797ef0a67c859c2c5f25e1bedc75 You're receiving this email because of your account on salsa.debian.org.
