diff options
| author | xeji <36407913+xeji@users.noreply.github.com> | 2018-05-02 23:38:52 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-02 23:38:52 +0200 |
| commit | 50ad07f61e2842ec4a32935cad77c88dece07bf5 (patch) | |
| tree | b9cd17856f4cb086129c78cbff76f12cc869161b | |
| parent | f36a3e683601eec443a2ccb523bfd6493e5bf7ac (diff) | |
| parent | 4d7d53c78a1e5a932cb9507975672f5addc72586 (diff) | |
| download | nixlib-50ad07f61e2842ec4a32935cad77c88dece07bf5.tar nixlib-50ad07f61e2842ec4a32935cad77c88dece07bf5.tar.gz nixlib-50ad07f61e2842ec4a32935cad77c88dece07bf5.tar.bz2 nixlib-50ad07f61e2842ec4a32935cad77c88dece07bf5.tar.lz nixlib-50ad07f61e2842ec4a32935cad77c88dece07bf5.tar.xz nixlib-50ad07f61e2842ec4a32935cad77c88dece07bf5.tar.zst nixlib-50ad07f61e2842ec4a32935cad77c88dece07bf5.zip | |
Merge pull request #39887 from r-ryantm/auto-update/man-pages
man-pages: 4.15 -> 4.16
| -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 ec58dfd77492..d050a15cb794 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.15"; + version = "4.16"; src = fetchurl { url = "mirror://kernel/linux/docs/man-pages/${name}.tar.xz"; - sha256 = "01n1rq1kvambax85xamriawbga94mh63s5mgjmjljjgf50m7yw6f"; + sha256 = "1d2d6llazg3inwjiz22cn46mbm5ydpbyh9qb55z4j3nm4w6wrzs7"; }; makeFlags = [ "MANDIR=$(out)/share/man" ]; |