Arusekk d803a94a1c dev-python/*: Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme} ... See gentoo commit 15d76ea3e49bf90f74df649773167d6ba96c0583		2023-04-18 13:45:02 +02:00
..
Manifest	migen: v0.7 bump	2018-06-02 08:39:48 +08:00
migen-0.7.ebuild	dev-python/*: Rename dev-python/{sphinx_rtd_theme → sphinx-rtd-theme}	2023-04-18 13:45:02 +02:00