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
|