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