diff options
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] |