Changeset 3c7a49c5 for general

Timestamp:

11/29/2023 07:59:30 PM (10 months ago)

Author:

Douglas R. Reno <renodr@…>

Branches:

12.1, 12.2, gimp3, ken/TL2024, lazarus, plabs/newcss, python3.11, rahul/power-profiles-daemon, renodr/vulkan-addition, trunk, xry111/for-12.3, xry111/llvm18, xry111/spidermonkey128

Children:

105a90a, dd3f068f

Parents:

1fe47db

Message:

Update to sphinx-rtd-theme-2.0.0

File:

• general/prog/python-modules/sphinx_rtd_theme.xml (modified) (3 diffs)

general/prog/python-modules/sphinx_rtd_theme.xml

@@ -9 +9 @@
   <!ENTITY sphinx_rtd_theme-md5sum        "&sphinx_rtd_theme-md5sum;">
   <!ENTITY sphinx_rtd_theme-size          "2.7 MB">
-  <!ENTITY sphinx_rtd_theme-buildsize     "40 MB (with tests)">
+  <!ENTITY sphinx_rtd_theme-buildsize     "36 MB (with tests)">
   <!ENTITY sphinx_rtd_theme-time          "0.1 SBU (with tests)">
 ]>
@@ -88 +88 @@
       <title>Installation of Sphinx_rtd_theme</title>
 <!-- Upstream tentative fix: not completely tested, it seems
-     but otherwise we fall into dependency hell -->
+     but otherwise we fall into dependency hell
+     Fixed in 2.0.0 -renodr
       <para>
         Fix wrong versions for dependencies:
@@ -95 +96 @@
 <screen><userinput>sed -e s/0.19/0.21/ \
     -i setup.cfg</userinput></screen>
-
+-->
       <para>
         Build the module: