From 9cd3282162802392b2f6c5d8f9037a2b87b3b569 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Sun, 19 Jan 2020 09:31:30 +0200
Subject: gnu: noweb: Declare a source file-name.

* gnu/packages/noweb.scm (noweb)[source]: Add file-name field.
---
 gnu/packages/noweb.scm | 1 +
 1 file changed, 1 insertion(+)

(limited to 'gnu/packages/noweb.scm')

diff --git a/gnu/packages/noweb.scm b/gnu/packages/noweb.scm
index 77e88cc5d2..7d8d402b94 100644
--- a/gnu/packages/noweb.scm
+++ b/gnu/packages/noweb.scm
@@ -35,6 +35,7 @@
              (url "https://github.com/nrnrnr/noweb")
              (commit (string-append "v" (string-join (string-split version #\.)
                                                      "_")))))
+       (file-name (git-file-name name version))
        (sha256
         (base32 "1160i2ghgzqvnb44kgwd6s3p4jnk9668rmc15jlcwl7pdf3xqm95"))))
     (build-system gnu-build-system)
-- 
cgit v1.2.3