diff options
author | Ludovic Courtès <ludo@gnu.org> | 2019-06-29 23:04:08 +0200 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2019-06-29 23:04:08 +0200 |
commit | c248e9b0222eb11e14389c30e0bfa29774b366a5 (patch) | |
tree | c1b00bd9b51dfe07ad5f316192b8a2ad1c20c0ad /gnu/packages/gawk.scm | |
parent | 06172df545f1253463bc51a9e2c39bf2133f3f23 (diff) |
gnu: gawk: Update to 5.0.1.
* gnu/packages/gawk.scm (gawk): Update to 5.0.1.
Diffstat (limited to 'gnu/packages/gawk.scm')
-rw-r--r-- | gnu/packages/gawk.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/gawk.scm b/gnu/packages/gawk.scm index 9b7b93651f..d8494e9c1c 100644 --- a/gnu/packages/gawk.scm +++ b/gnu/packages/gawk.scm @@ -30,13 +30,13 @@ (define-public gawk (package (name "gawk") - (version "5.0.0") + (version "5.0.1") (source (origin (method url-fetch) (uri (string-append "mirror://gnu/gawk/gawk-" version ".tar.xz")) (sha256 - (base32 "01j409gharghgf7h0pjzywkimhz2ldrxf85nvf3sv1dl1vnr3w2h")))) + (base32 "15570p7g2x54asvr2fsc56sxzmm08fbk4mzpcs5n92fp9vq8cklf")))) (build-system gnu-build-system) (arguments `(#:phases (modify-phases %standard-phases |