Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / ocaml-zarith
Commits:
-
b585dad3
by Stephane Glondu at 2023-08-12T10:06:23+02:00
1 changed file:
Changes:
... | ... | @@ -7,7 +7,7 @@ Uploaders: |
7 | 7 | Mehdi Dogguy <mehdi@debian.org>
|
8 | 8 | Build-Depends:
|
9 | 9 | debhelper-compat (= 13),
|
10 | - ocaml-nox,
|
|
10 | + ocaml,
|
|
11 | 11 | dh-ocaml,
|
12 | 12 | libgmp3-dev,
|
13 | 13 | ocaml-findlib
|