diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-01-19 09:31:30 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-01-19 09:31:55 +0200 |
| commit | 9cd3282162802392b2f6c5d8f9037a2b87b3b569 (patch) | |
| tree | 32e3e6fd1a35d409fb195f0d8f51a04583cb96ea /gnu | |
| parent | a6b937b329570e3b6a4bd64adbca3b4e7c7cc988 (diff) | |
| download | patches-9cd3282162802392b2f6c5d8f9037a2b87b3b569.tar patches-9cd3282162802392b2f6c5d8f9037a2b87b3b569.tar.gz | |
gnu: noweb: Declare a source file-name.
* gnu/packages/noweb.scm (noweb)[source]: Add file-name field.
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/packages/noweb.scm | 1 |
1 files changed, 1 insertions, 0 deletions
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) |