diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-03-07 16:40:33 +0100 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2019-03-08 01:35:42 +0100 |
commit | 792d3ed7eb4fc5dadf207e99394f1592590f800b (patch) | |
tree | 03b219d3fd9898ee4eee692fc64ef74b89b2f596 | |
parent | 13b1fb5c92a60c7fec3f256f51ee2cbc263354d1 (diff) |
gnu: man-pages: Update to 5.00.
* gnu/packages/man.scm (man-pages): Update to 5.00.
[source]: Re-format.
-rw-r--r-- | gnu/packages/man.scm | 25 |
1 files changed, 11 insertions, 14 deletions
diff --git a/gnu/packages/man.scm b/gnu/packages/man.scm index cd8522ae7e..f8ee3883a1 100644 --- a/gnu/packages/man.scm +++ b/gnu/packages/man.scm @@ -161,20 +161,17 @@ the traditional flat-text whatis databases.") (define-public man-pages (package (name "man-pages") - (version "4.16") - (source (origin - (method url-fetch) - (uri - (list - (string-append - "mirror://kernel.org/linux/docs/man-pages/man-pages-" - version ".tar.xz") - (string-append - "mirror://kernel.org/linux/docs/man-pages/Archive/" - "man-pages-" version ".tar.xz"))) - (sha256 - (base32 - "1d2d6llazg3inwjiz22cn46mbm5ydpbyh9qb55z4j3nm4w6wrzs7")))) + (version "5.00") + (source + (origin + (method url-fetch) + (uri + (list (string-append "mirror://kernel.org/linux/docs/man-pages/" + "man-pages-" version ".tar.xz") + (string-append "mirror://kernel.org/linux/docs/man-pages/Archive/" + "man-pages-" version ".tar.xz"))) + (sha256 + (base32 "006rcqhs4ay9q8wip2kbgk3065gwvfbzrqgv2dsydwvcnwv50bss")))) (build-system gnu-build-system) (arguments '(#:phases (modify-phases %standard-phases (delete 'configure)) |