gentoo-mirror/gentoo
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/gentoo.git synced 2026-09-24 04:59:14 -07:00
Code Issues Projects Releases Wiki Activity

sci-mathematics/coq: add missing latexextra dep

Browse Source 
Closes: https://bugs.gentoo.org/833529
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
This commit is contained in:
Maciej Barć
2022-02-17 15:11:27 +01:00
parent 25d067881a
commit cab94b16f5
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
sci-mathematics/coq/coq-8.15.0-r1.ebuild → sci-mathematics/coq/coq-8.15.0-r2.ebuild
View File

@@ -40,6 +40,7 @@ BDEPEND="
dev-python/sphinx_rtd_theme
dev-python/sphinxcontrib-bibtex
dev-tex/latexmk
dev-texlive/texlive-latexextra
)
"