gnu: man-pages: Update to 5.13.

* gnu/packages/man.scm (man-pages): Update to 5.13.
This commit is contained in:
Tobias Geerinckx-Rice 2021-08-27 18:21:52 +02:00
parent 7125b0d8a1
commit ad7d478d86
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -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))