diff options
author | Leo Famulari <leo@famulari.name> | 2021-08-06 00:18:46 -0400 |
---|---|---|
committer | Leo Famulari <leo@famulari.name> | 2021-07-27 12:34:57 -0400 |
commit | 944ba4237f4c0ccab1bc62a23a31f577ce1878e5 (patch) | |
tree | 625ccf36f46abf6ca3cff06fe67bc309768607f9 /gnu/packages/sphinx.scm | |
parent | 3a01496b4b9ae209435e8d9dd28f33132193b603 (diff) | |
download | guix-944ba4237f4c0ccab1bc62a23a31f577ce1878e5.tar.gz guix-944ba4237f4c0ccab1bc62a23a31f577ce1878e5.zip |
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.scm | 4 |
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 |