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 /dev-lang/idris2/idris2-0.5.1_p20220920.ebuild | |
| 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 'dev-lang/idris2/idris2-0.5.1_p20220920.ebuild')
| -rw-r--r-- | dev-lang/idris2/idris2-0.5.1_p20220920.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild index 7b8da7f699ec..cf40b383b895 100644 --- a/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild +++ b/dev-lang/idris2/idris2-0.5.1_p20220920.ebuild @@ -31,7 +31,7 @@ RDEPEND=" " DEPEND="${RDEPEND}" BDEPEND=" - doc? ( dev-python/sphinx_rtd_theme ) + doc? ( dev-python/sphinx-rtd-theme ) test-full? ( dev-scheme/chez[threads] dev-scheme/racket[threads] |