Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / mlgmp
Commits:
-
6cd50e88
by Stephane Glondu at 2023-08-12T08:10:29+02:00
1 changed file:
Changes:
... | ... | @@ -5,7 +5,7 @@ Uploaders: |
5 | 5 | Ralf Treinen <treinen@debian.org>,
|
6 | 6 | Mehdi Dogguy <mehdi@debian.org>
|
7 | 7 | Build-Depends:
|
8 | - ocaml-nox,
|
|
8 | + ocaml,
|
|
9 | 9 | debhelper-compat (= 13),
|
10 | 10 | libgmp3-dev,
|
11 | 11 | libmpfr-dev,
|