diff options
author | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-08-06 02:00:00 +0200 |
---|---|---|
committer | Tobias Geerinckx-Rice <me@tobias.gr> | 2023-08-13 02:00:00 +0200 |
commit | 709232459d47db6fec4e3460ebf418f70379ef61 (patch) | |
tree | 34645ab5058146c696f77910c00f62a0b5c62aff /gnu/packages | |
parent | 74f707d76d8b50cdcbfda6aeab4e79cf6337ef10 (diff) |
gnu: noweb: Update to 2.13.
* gnu/packages/noweb.scm (noweb): Update to 2.13.
Diffstat (limited to 'gnu/packages')
-rw-r--r-- | gnu/packages/noweb.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/noweb.scm b/gnu/packages/noweb.scm index 59a71c1334..762db02fc2 100644 --- a/gnu/packages/noweb.scm +++ b/gnu/packages/noweb.scm @@ -28,7 +28,7 @@ (define-public noweb (package (name "noweb") - (version "2.12") + (version "2.13") (source (origin (method git-fetch) @@ -38,7 +38,7 @@ "_"))))) (file-name (git-file-name name version)) (sha256 - (base32 "1160i2ghgzqvnb44kgwd6s3p4jnk9668rmc15jlcwl7pdf3xqm95")))) + (base32 "0fwngh7zl9mrjz966pskhi4zvk26j6vsm85x99df9194nv51drq8")))) (build-system gnu-build-system) (arguments (list |