diff options
| author | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-08-27 18:21:52 +0200 |
|---|---|---|
| committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2021-08-27 19:30:01 +0200 |
| commit | ad7d478d86590899fedb037dd6e3fd3960231d59 (patch) | |
| tree | de2991a99b315c2f35b9818add519d5addd1c51b | |
| parent | 7125b0d8a1be58e3f5b66a00fc5912aed9b330e4 (diff) | |
gnu: man-pages: Update to 5.13.
* gnu/packages/man.scm (man-pages): Update to 5.13.
| -rw-r--r-- | gnu/packages/man.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/man.scm b/gnu/packages/man.scm index caaa6da5ed..50295b55f7 100644 --- a/gnu/packages/man.scm +++ b/gnu/packages/man.scm @@ -269,7 +269,7 @@ PostScript, and PDF. Additional tools include the @command{man} viewer, and (define-public man-pages (package (name "man-pages") - (version "5.12") + (version "5.13") (source (origin (method url-fetch) @@ -279,7 +279,7 @@ PostScript, and PDF. Additional tools include the @command{man} viewer, and (string-append "mirror://kernel.org/linux/docs/man-pages/Archive/" "man-pages-" version ".tar.xz"))) (sha256 - (base32 "07ip4f70nyxn24wy0fin6klq1hm1cjjvzr9zh5baqzssl1hckxbs")))) + (base32 "12vb15gs56g8wl5nqlm4llr508brh4m2lfknhq4lizbxzqzawkb1")))) (build-system gnu-build-system) (arguments '(#:phases (modify-phases %standard-phases (delete 'configure)) |