Merge pull request #144038 from trofi/update-gawk

gawk: 5.1.0 -> 5.1.1
This commit is contained in:
Maximilian Bosch 2021-11-06 17:08:30 +01:00 committed by GitHub
commit 079ff3a109
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -17,11 +17,11 @@ assert (doCheck && stdenv.isLinux) -> glibcLocales != null;
stdenv.mkDerivation rec {
pname = "gawk";
version = "5.1.0";
version = "5.1.1";
src = fetchurl {
url = "mirror://gnu/gawk/gawk-${version}.tar.xz";
sha256 = "1gc2cccqy1x1bf6rhwlmd8q7dz7gnam6nwgl38bxapv6qm5flpyg";
sha256 = "18kybw47fb1sdagav7aj95r9pp09r5gm202y3ahvwjw9dqw2jxnq";
};
# When we do build separate interactive version, it makes sense to always include man.