Gianfranco Costamagna pushed to branch master at Debian OCaml Maintainers / why3
Commits: 478c94d4 by Gianfranco Costamagna at 2026-01-06T10:12:30+01:00 B-D on graphviz-tools now - - - - - 2 changed files: - debian/changelog - debian/control Changes: ===================================== debian/changelog ===================================== @@ -1,3 +1,11 @@ +why3 (1.8.2-3) unstable; urgency=medium + + * Team upload + * Actually b-d on graphviz-tools, some tools are now split into that + package. + + -- Gianfranco Costamagna <[email protected]> Tue, 06 Jan 2026 10:11:53 +0100 + why3 (1.8.2-2) unstable; urgency=medium * Team upload ===================================== debian/control ===================================== @@ -6,7 +6,6 @@ Uploaders: Ralf Treinen <[email protected]> Build-Depends: debhelper-compat (= 13), dh-ocaml, autoconf, - graphviz, ocaml, ocaml-findlib, menhir (>= 20200123), @@ -25,7 +24,7 @@ Build-Depends-Indep: texlive-fonts-recommended, texlive-bibtex-extra, tex-gyre, - graphviz + graphviz-tools Standards-Version: 4.7.2 Rules-Requires-Root: no Homepage: https://www.why3.org/ View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/478c94d40c40839f6d78b442dcfe219af62c4020 -- View it on GitLab: https://salsa.debian.org/ocaml-team/why3/-/commit/478c94d40c40839f6d78b442dcfe219af62c4020 You're receiving this email because of your account on salsa.debian.org.
