From ad7d478d86590899fedb037dd6e3fd3960231d59 Mon Sep 17 00:00:00 2001 From: Tobias Geerinckx-Rice Date: Fri, 27 Aug 2021 18:21:52 +0200 Subject: [PATCH] gnu: man-pages: Update to 5.13. * gnu/packages/man.scm (man-pages): Update to 5.13. --- gnu/packages/man.scm | 4 ++-- 1 file 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 @@ (define-public mandoc (define-public man-pages (package (name "man-pages") - (version "5.12") + (version "5.13") (source (origin (method url-fetch) @@ -279,7 +279,7 @@ (define-public man-pages (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))