gnu: popt: Add a source file name.

* gnu/packages/popt.scm (popt)[source](file-name): New field.
This commit is contained in:
Marius Bakke 2020-01-15 20:07:37 +01:00
parent a650ee0baa
commit 981bd6e69c
No known key found for this signature in database
GPG key ID: A2A06DF2A33A54FA

View file

@ -68,6 +68,8 @@ (define-public popt
;; so fallback to Debians copy.
(string-append "https://deb.debian.org/debian/pool/main"
"/p/popt/popt_" version ".orig.tar.gz")))
;; Ensure the file name stays the same.
(file-name (string-append "popt-" version ".tar.gz"))
(sha256
(base32
"1j2c61nn2n351nhj4d25mnf3vpiddcykq005w2h6kw79dwlysa77"))))