diff options
Diffstat (limited to 'dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild')
| -rw-r--r-- | dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild index 580ecc1369ce..184f92dc1381 100644 --- a/dev-lang/idris2/idris2-0.5.1_p20220224-r1.ebuild +++ b/dev-lang/idris2/idris2-0.5.1_p20220224-r1.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] |