diff -Nru coq-doc-8.15.0/debian/changelog coq-doc-8.15.0/debian/changelog
--- coq-doc-8.15.0/debian/changelog	2022-02-17 12:27:49.000000000 +0000
+++ coq-doc-8.15.0/debian/changelog	2022-02-22 13:02:25.000000000 +0000
@@ -1,3 +1,9 @@
+coq-doc (8.15.0-3) unstable; urgency=medium
+
+  * Fix b-deps again (Closes: #1005920).
+
+ -- Julien Puydt <jpuydt@debian.org>  Tue, 22 Feb 2022 14:02:25 +0100
+
 coq-doc (8.15.0-2) unstable; urgency=medium
 
   * Fix b-deps (Closes: #1005920).
diff -Nru coq-doc-8.15.0/debian/control coq-doc-8.15.0/debian/control
--- coq-doc-8.15.0/debian/control	2022-02-17 12:27:49.000000000 +0000
+++ coq-doc-8.15.0/debian/control	2022-02-22 13:02:25.000000000 +0000
@@ -10,15 +10,22 @@
 Build-Depends: debhelper-compat (= 13), dune
 Build-Depends-Indep: camlp5,
                      fig2dev,
+                     fonts-freefont-otf,
                      hevea (>= 1.05),
                      imagemagick,
+                     latexmk,
                      libzarith-ocaml-dev,
                      ocaml-findlib,
                      ocaml-nox,
                      python3-antlr4,
+                     python3-bs4,
+                     python3-pexpect,
+                     python3-sphinxcontrib.bibtex,
+                     python3-sphinx-rtd-theme,
                      sphinx,
                      texlive,
                      texlive-base,
+                     texlive-fonts-recommended,
                      texlive-humanities,
                      texlive-lang-french,
                      texlive-latex-extra,