diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-02-18 00:19:02 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-02-18 00:19:17 +0100 |
| commit | 135cf4331777c42201c79b06cbf5fa0b15b2add0 (patch) | |
| tree | 5013eb2f8222011a65795a0ac7e4c6d25abf445a /sci-mathematics | |
| parent | dev-java/jopt-simple: removed obsolete 4.6 (diff) | |
| download | gentoo-135cf4331777c42201c79b06cbf5fa0b15b2add0.tar.gz gentoo-135cf4331777c42201c79b06cbf5fa0b15b2add0.tar.bz2 gentoo-135cf4331777c42201c79b06cbf5fa0b15b2add0.zip | |
sci-mathematics/coq: fix doc build - add xetex dep
Closes: https://bugs.gentoo.org/833534
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics')
| -rw-r--r-- | sci-mathematics/coq/coq-8.15.0-r2.ebuild | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/coq/coq-8.15.0-r2.ebuild b/sci-mathematics/coq/coq-8.15.0-r2.ebuild index c21532e8b1d1..6e7105bc79cc 100644 --- a/sci-mathematics/coq/coq-8.15.0-r2.ebuild +++ b/sci-mathematics/coq/coq-8.15.0-r2.ebuild @@ -41,6 +41,7 @@ BDEPEND=" dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-latexextra + dev-texlive/texlive-xetex ) " |