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:23:31 +0100 |
| commit | 061ce25f1e249b4b3bbd453d28acc5e99fc49794 (patch) | |
| tree | efe20952b3925120210aba4f6067ce3a71bf51a2 /dev-lang/idris2 | |
| parent | Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} (diff) | |
| download | gentoo-061ce25f1e249b4b3bbd453d28acc5e99fc49794.tar.gz gentoo-061ce25f1e249b4b3bbd453d28acc5e99fc49794.tar.bz2 gentoo-061ce25f1e249b4b3bbd453d28acc5e99fc49794.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')
| -rw-r--r-- | dev-lang/idris2/idris2-0.6.0.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dev-lang/idris2/idris2-0.6.0.ebuild b/dev-lang/idris2/idris2-0.6.0.ebuild index af11194e4064..50bb3b96c586 100644 --- a/dev-lang/idris2/idris2-0.6.0.ebuild +++ b/dev-lang/idris2/idris2-0.6.0.ebuild @@ -1,4 +1,4 @@ -# Copyright 1999-2022 Gentoo Authors +# Copyright 1999-2023 Gentoo Authors # Distributed under the terms of the GNU General Public License v2 EAPI=8 |