mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-12 16:43:17 -04:00
Code Issues Packages Projects Releases Wiki Activity
Files
dee7d7f989ce20031836cd8b6deb34ed3fb7bc2a
guru/dev-libs/open62541
History
Florian Schmaus efdaee13ce */*: sphinx_rtd_theme → sphinx-rtd-theme 
Signed-off-by: Florian Schmaus <flow@gentoo.org>
2023-02-14 12:59:55 +01:00
..
files
dev-libs/open62541: drop 1.3.3
2022-11-15 22:09:31 +01:00
Manifest
dev-libs/open62541: drop 1.3.3
2022-11-15 22:09:31 +01:00
metadata.xml
dev-libs/open62541: drop 1.2.4
2022-04-16 10:18:21 +02:00
open62541-1.3.4.ebuild
*/*: sphinx_rtd_theme → sphinx-rtd-theme
2023-02-14 12:59:55 +01:00