gnu: noweb: Declare a source file-name.

* gnu/packages/noweb.scm (noweb)[source]: Add file-name field.
This commit is contained in:
Efraim Flashner 2020-01-19 09:31:30 +02:00
parent a6b937b329
commit 9cd3282162
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -35,6 +35,7 @@ (define-public noweb
(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)