Stéphane Glondu pushed to branch master at Debian OCaml Maintainers / coq-doc
Commits:
-
8f06a121
by Stephane Glondu at 2023-07-19T08:11:46+02:00
-
36aa0e5c
by Stephane Glondu at 2023-07-19T08:14:56+02:00
-
0a4be98e
by Stephane Glondu at 2023-07-19T08:25:41+02:00
2 changed files:
Changes:
| 1 | 1 | coq-doc (8.16.1-2) UNRELEASED; urgency=medium
|
| 2 | 2 | |
| 3 | + [ Stéphane Glondu ]
|
|
| 4 | + * Build-depend on ocaml-dune
|
|
| 5 | + |
|
| 6 | + [ Debian Janitor ]
|
|
| 3 | 7 | * Remove constraints unnecessary since buster (oldstable):
|
| 4 | 8 | + Build-Depends-Indep: Drop versioned constraint on hevea (>= 1.05).
|
| 5 | 9 | |
| 6 | - -- Debian Janitor <janitor@jelmer.uk> Fri, 20 Jan 2023 05:46:04 -0000
|
|
| 10 | + -- Stéphane Glondu <glondu@debian.org> Wed, 19 Jul 2023 08:11:40 +0200
|
|
| 7 | 11 | |
| 8 | 12 | coq-doc (8.16.1-1) unstable; urgency=medium
|
| 9 | 13 |
| ... | ... | @@ -7,7 +7,7 @@ Uploaders: Samuel Mimram <smimram@debian.org>, |
| 7 | 7 | Hendrik Tews <hendrik@askra.de>,
|
| 8 | 8 | Julien Puydt <jpuydt@debian.org>
|
| 9 | 9 | Standards-Version: 4.6.1
|
| 10 | -Build-Depends: debhelper-compat (= 13), dune, sphinx (>= 4.5.0)
|
|
| 10 | +Build-Depends: debhelper-compat (= 13), ocaml-dune, sphinx (>= 4.5.0)
|
|
| 11 | 11 | Build-Depends-Indep: camlp5,
|
| 12 | 12 | fig2dev,
|
| 13 | 13 | fonts-freefont-otf,
|