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,
|