gnu: man-pages: Update to 5.01.

* gnu/packages/man.scm (man-pages): Update to 5.01.
This commit is contained in:
Tobias Geerinckx-Rice 2019-05-09 16:25:52 +02:00
parent 34dce89a0c
commit 05de4c346d
No known key found for this signature in database
GPG key ID: 0DB0FF884F556D79

View file

@ -161,7 +161,7 @@ (define-public man-db
(define-public man-pages
(package
(name "man-pages")
(version "5.00")
(version "5.01")
(source
(origin
(method url-fetch)
@ -171,7 +171,7 @@ (define-public man-pages
(string-append "mirror://kernel.org/linux/docs/man-pages/Archive/"
"man-pages-" version ".tar.xz")))
(sha256
(base32 "006rcqhs4ay9q8wip2kbgk3065gwvfbzrqgv2dsydwvcnwv50bss"))))
(base32 "09xn8d8xxwgms6h1bvjlgn3mxz51vxf3ra0ry9f5dqi29qry3z3x"))))
(build-system gnu-build-system)
(arguments
'(#:phases (modify-phases %standard-phases (delete 'configure))