summary refs log tree commit diff
path: root/gnu/packages/sphinx.scm
diff options
context:
space:
mode:
authorLeo Famulari <leo@famulari.name>2021-08-06 00:18:46 -0400
committerLeo Famulari <leo@famulari.name>2021-07-27 12:34:57 -0400
commit944ba4237f4c0ccab1bc62a23a31f577ce1878e5 (patch)
tree625ccf36f46abf6ca3cff06fe67bc309768607f9 /gnu/packages/sphinx.scm
parent3a01496b4b9ae209435e8d9dd28f33132193b603 (diff)
downloadguix-944ba4237f4c0ccab1bc62a23a31f577ce1878e5.tar.gz
gnu: python-sphinx: Update to 4.0.3.
This fixes a build failure of MPD (Music Player Daemon), that looks like this:

"RuntimeError: File 'doc/mpd.1' could not be found"

https://github.com/MusicPlayerDaemon/MPD/issues/1183

* gnu/packages/sphinx.scm (python-sphinx): Update to 4.0.3.
Diffstat (limited to 'gnu/packages/sphinx.scm')
-rw-r--r--gnu/packages/sphinx.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/sphinx.scm b/gnu/packages/sphinx.scm
index 2e55c067aa..de94ca3866 100644
--- a/gnu/packages/sphinx.scm
+++ b/gnu/packages/sphinx.scm
@@ -56,14 +56,14 @@
 (define-public python-sphinx
   (package
     (name "python-sphinx")
-    (version "4.0.1")
+    (version "4.0.3")
     (source
      (origin
        (method url-fetch)
        (uri (pypi-uri "Sphinx" version))
        (sha256
         (base32
-         "0k0bfjw4f76k2yyz8k2rl3s66ig2mn7y13m8dzqbgckifmvh8lfg"))))
+         "1f7vnk3g135b2zs9yq3kgrczxa91mhrlfw8243dpxsq8lbk5gwyz"))))
     (build-system python-build-system)
     (arguments
      `(#:phases