diff options
author | Will Dietz <github@wdtz.org> | 2019-03-07 15:49:33 -0600 |
---|---|---|
committer | xeji <36407913+xeji@users.noreply.github.com> | 2019-03-07 22:49:33 +0100 |
commit | e8d116f8ee4ac104ecd5ef42749bef1540f6b7fb (patch) | |
tree | 40b2bc1c06f6640f5442cb134c3d13b622eab49d /pkgs/data/documentation | |
parent | 39495404a3eebbe8cb7f324901aa3608fcc21e54 (diff) | |
download | nixpkgs-e8d116f8ee4ac104ecd5ef42749bef1540f6b7fb.tar nixpkgs-e8d116f8ee4ac104ecd5ef42749bef1540f6b7fb.tar.gz nixpkgs-e8d116f8ee4ac104ecd5ef42749bef1540f6b7fb.tar.bz2 nixpkgs-e8d116f8ee4ac104ecd5ef42749bef1540f6b7fb.tar.lz nixpkgs-e8d116f8ee4ac104ecd5ef42749bef1540f6b7fb.tar.xz nixpkgs-e8d116f8ee4ac104ecd5ef42749bef1540f6b7fb.tar.zst nixpkgs-e8d116f8ee4ac104ecd5ef42749bef1540f6b7fb.zip |
man-pages: 4.16 -> 5.00 (#57039)
Diffstat (limited to 'pkgs/data/documentation')
-rw-r--r-- | pkgs/data/documentation/man-pages/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/data/documentation/man-pages/default.nix b/pkgs/data/documentation/man-pages/default.nix index 6d657472e66..280202c2200 100644 --- a/pkgs/data/documentation/man-pages/default.nix +++ b/pkgs/data/documentation/man-pages/default.nix @@ -2,11 +2,11 @@ stdenv.mkDerivation rec { name = "man-pages-${version}"; - version = "4.16"; + version = "5.00"; src = fetchurl { url = "mirror://kernel/linux/docs/man-pages/${name}.tar.xz"; - sha256 = "1d2d6llazg3inwjiz22cn46mbm5ydpbyh9qb55z4j3nm4w6wrzs7"; + sha256 = "006rcqhs4ay9q8wip2kbgk3065gwvfbzrqgv2dsydwvcnwv50bss"; }; makeFlags = [ "MANDIR=$(out)/share/man" ]; |