diff options
| author |   Maciej Barć <xgqt@gentoo.org> | 2022-02-17 15:11:27 +0100 |
|---|---|---|
| committer | Maciej Barć <xgqt@gentoo.org> | 2022-02-17 15:11:33 +0100 |
| commit | cab94b16f5c8f49f1f11bd9408f8f3210a5e6e99 (patch) | |
| tree | 5b6485e03dfda9d1078c997d67e3e607137e7f09 /sci-mathematics/coq | |
| parent | sci-mathematics/cvc4: fix deps check (diff) | |
| download | gentoo-cab94b16f5c8f49f1f11bd9408f8f3210a5e6e99.tar.gz gentoo-cab94b16f5c8f49f1f11bd9408f8f3210a5e6e99.tar.bz2 gentoo-cab94b16f5c8f49f1f11bd9408f8f3210a5e6e99.zip | |
sci-mathematics/coq: add missing latexextra dep
Closes: https://bugs.gentoo.org/833529
Package-Manager: Portage-3.0.30, Repoman-3.0.3
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/coq-8.15.0-r2.ebuild (renamed from sci-mathematics/coq/coq-8.15.0-r1.ebuild) | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sci-mathematics/coq/coq-8.15.0-r1.ebuild b/sci-mathematics/coq/coq-8.15.0-r2.ebuild index 1bc1ac155898..c21532e8b1d1 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 ) " |