Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits:
-
0579a376
by Stephane Glondu at 2023-09-06T08:49:12+02:00
1 changed file:
Changes:
... | ... | @@ -6,8 +6,7 @@ Uploaders: Stéphane Glondu <glondu@debian.org>, |
6 | 6 | Julien Puydt <jpuydt@debian.org>
|
7 | 7 | Standards-Version: 4.6.2
|
8 | 8 | Build-Depends: debhelper-compat (= 13), ocaml-dune, sphinx (>= 4.5.0)
|
9 | -Build-Depends-Indep: camlp5,
|
|
10 | - fig2dev,
|
|
9 | +Build-Depends-Indep: fig2dev,
|
|
11 | 10 | fonts-freefont-otf,
|
12 | 11 | hevea,
|
13 | 12 | imagemagick,
|