Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / frama-c
Commits: da740038 by Stephane Glondu at 2023-08-12T08:02:01+02:00 Depend on ocaml instead of ocaml-nox - - - - - 1 changed file: - debian/control Changes: ===================================== debian/control ===================================== @@ -6,7 +6,7 @@ Uploaders: Mehdi Dogguy <[email protected]>, Ralf Treinen <[email protected]> Build-Depends: debhelper-compat (=13), - ocaml-nox (>= 4.08.1), + ocaml, dh-ocaml (>= 0.9~), graphviz, autoconf, View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/da74003880532e9d730d83cf99152d38d01ce443 -- View it on GitLab: https://salsa.debian.org/ocaml-team/frama-c/-/commit/da74003880532e9d730d83cf99152d38d01ce443 You're receiving this email because of your account on salsa.debian.org.
