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
Build-depend on ocaml-dune
- - - - -
36aa0e5c by Stephane Glondu at 2023-07-19T08:14:56+02:00
Merge remote-tracking branch 'origin/master'
- - - - -
0a4be98e by Stephane Glondu at 2023-07-19T08:25:41+02:00
Put back in UNRELEASED state
- - - - -
2 changed files:
- debian/changelog
- debian/control
Changes:
=====================================
debian/changelog
=====================================
@@ -1,9 +1,13 @@
coq-doc (8.16.1-2) UNRELEASED; urgency=medium
+ [ Stéphane Glondu ]
+ * Build-depend on ocaml-dune
+
+ [ Debian Janitor ]
* Remove constraints unnecessary since buster (oldstable):
+ Build-Depends-Indep: Drop versioned constraint on hevea (>= 1.05).
- -- Debian Janitor <[email protected]> Fri, 20 Jan 2023 05:46:04 -0000
+ -- Stéphane Glondu <[email protected]> Wed, 19 Jul 2023 08:11:40 +0200
coq-doc (8.16.1-1) unstable; urgency=medium
=====================================
debian/control
=====================================
@@ -7,7 +7,7 @@ Uploaders: Samuel Mimram <[email protected]>,
Hendrik Tews <[email protected]>,
Julien Puydt <[email protected]>
Standards-Version: 4.6.1
-Build-Depends: debhelper-compat (= 13), dune, sphinx (>= 4.5.0)
+Build-Depends: debhelper-compat (= 13), ocaml-dune, sphinx (>= 4.5.0)
Build-Depends-Indep: camlp5,
fig2dev,
fonts-freefont-otf,
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq-doc/-/compare/94712e7e80275a93563a36e3a29f8acce40bd646...0a4be98eac49acc425cfd06e8714703006f2ad1d
--
View it on GitLab:
https://salsa.debian.org/ocaml-team/coq-doc/-/compare/94712e7e80275a93563a36e3a29f8acce40bd646...0a4be98eac49acc425cfd06e8714703006f2ad1d
You're receiving this email because of your account on salsa.debian.org.
