diff --git a/sci-mathematics/coq/coq-8.15.0-r1.ebuild b/sci-mathematics/coq/coq-8.15.0-r2.ebuild
similarity index 98%
rename from sci-mathematics/coq/coq-8.15.0-r1.ebuild
rename to sci-mathematics/coq/coq-8.15.0-r2.ebuild
index 1bc1ac1558986..c21532e8b1d1c 100644
--- a/sci-mathematics/coq/coq-8.15.0-r1.ebuild
+++ b/sci-mathematics/coq/coq-8.15.0-r2.ebuild
@@ -40,6 +40,7 @@ BDEPEND="
 		dev-python/sphinx_rtd_theme
 		dev-python/sphinxcontrib-bibtex
 		dev-tex/latexmk
+		dev-texlive/texlive-latexextra
 	)
 "