diff options
| author |   Michał Górny <mgorny@gentoo.org> | 2023-02-14 06:18:51 +0100 |
|---|---|---|
| committer | Michał Górny <mgorny@gentoo.org> | 2023-02-14 06:18:51 +0100 |
| commit | 15d76ea3e49bf90f74df649773167d6ba96c0583 (patch) | |
| tree | 46950f6ffc575325144006f0641caef4350ada8a /sci-mathematics/coq | |
| parent | dev-python/sphinx_rtd_theme: Use pypi.eclass (diff) | |
| download | gentoo-15d76ea3e49bf90f74df649773167d6ba96c0583.tar.gz gentoo-15d76ea3e49bf90f74df649773167d6ba96c0583.tar.bz2 gentoo-15d76ea3e49bf90f74df649773167d6ba96c0583.zip | |
Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}
Signed-off-by: Michał Górny <mgorny@gentoo.org>
Diffstat (limited to 'sci-mathematics/coq')
| -rw-r--r-- | sci-mathematics/coq/coq-8.15.2.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.16.0.ebuild | 2 | ||||
| -rw-r--r-- | sci-mathematics/coq/coq-8.16.1.ebuild | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/sci-mathematics/coq/coq-8.15.2.ebuild b/sci-mathematics/coq/coq-8.15.2.ebuild index fc4bad973709..0a107a1e5a53 100644 --- a/sci-mathematics/coq/coq-8.15.2.ebuild +++ b/sci-mathematics/coq/coq-8.15.2.ebuild @@ -37,7 +37,7 @@ BDEPEND=" dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect - dev-python/sphinx_rtd_theme + dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra diff --git a/sci-mathematics/coq/coq-8.16.0.ebuild b/sci-mathematics/coq/coq-8.16.0.ebuild index 8f3da8dda4ab..782fa5756e91 100644 --- a/sci-mathematics/coq/coq-8.16.0.ebuild +++ b/sci-mathematics/coq/coq-8.16.0.ebuild @@ -37,7 +37,7 @@ BDEPEND=" dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect - dev-python/sphinx_rtd_theme + dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra diff --git a/sci-mathematics/coq/coq-8.16.1.ebuild b/sci-mathematics/coq/coq-8.16.1.ebuild index 8f3da8dda4ab..782fa5756e91 100644 --- a/sci-mathematics/coq/coq-8.16.1.ebuild +++ b/sci-mathematics/coq/coq-8.16.1.ebuild @@ -37,7 +37,7 @@ BDEPEND=" dev-python/antlr4-python3-runtime dev-python/beautifulsoup4 dev-python/pexpect - dev-python/sphinx_rtd_theme + dev-python/sphinx-rtd-theme dev-python/sphinxcontrib-bibtex dev-tex/latexmk dev-texlive/texlive-fontsextra |