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
1 changed file:
Changes:
| ... | ... | @@ -6,7 +6,7 @@ Uploaders: Mehdi Dogguy <mehdi@debian.org>, |
| 6 | 6 | Ralf Treinen <treinen@debian.org>
|
| 7 | 7 | Build-Depends:
|
| 8 | 8 | debhelper-compat (=13),
|
| 9 | - ocaml-nox (>= 4.08.1),
|
|
| 9 | + ocaml,
|
|
| 10 | 10 | dh-ocaml (>= 0.9~),
|
| 11 | 11 | graphviz,
|
| 12 | 12 | autoconf,
|