Ralf Treinen pushed to branch master at Debian OCaml Maintainers / why3
Commits: 939c1d71 by Ralf Treinen at 2025-04-20T11:49:07+02:00 debian/control: typing accident - - - - - 1 changed file: - debian/control Changes: ===================================== debian/control ===================================== @@ -26,7 +26,7 @@ Build-Depends: # tex-gyre, # graphviz Standards-Version: 4.7.0 -Rules-Requires-Root: nohttps://www.why3.org/ +Rules-Requires-Root: no 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/939c1d717c3dd082c8a557a45183f07816318a44 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/939c1d717c3dd082c8a557a45183f07816318a44 You're receiving this email because of your account on salsa.debian.org.
