From 709232459d47db6fec4e3460ebf418f70379ef61 Mon Sep 17 00:00:00 2001
From: Tobias Geerinckx-Rice <me@tobias.gr>
Date: Sun, 6 Aug 2023 02:00:00 +0200
Subject: gnu: noweb: Update to 2.13.

* gnu/packages/noweb.scm (noweb): Update to 2.13.
---
 gnu/packages/noweb.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'gnu')

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-module (gnu packages noweb)
 (define-public noweb
   (package
     (name "noweb")
-    (version "2.12")
+    (version "2.13")
     (source
      (origin
        (method git-fetch)
@@ -38,7 +38,7 @@ (define-public noweb
                                                      "_")))))
        (file-name (git-file-name name version))
        (sha256
-        (base32 "1160i2ghgzqvnb44kgwd6s3p4jnk9668rmc15jlcwl7pdf3xqm95"))))
+        (base32 "0fwngh7zl9mrjz966pskhi4zvk26j6vsm85x99df9194nv51drq8"))))
     (build-system gnu-build-system)
     (arguments
      (list
-- 
cgit v1.2.3