diff options
| author | Marius Bakke <mbakke@fastmail.com> | 2020-01-15 20:07:37 +0100 |
|---|---|---|
| committer | Marius Bakke <mbakke@fastmail.com> | 2020-01-15 20:36:32 +0100 |
| commit | 981bd6e69cc7d58889b8b14d582b5519be7f7246 (patch) | |
| tree | b551fe5265dcada6ec14ddca9bbac0fb8cd02b4c | |
| parent | a650ee0baa6dc257de428524239d456402a59ae0 (diff) | |
gnu: popt: Add a source file name.
* gnu/packages/popt.scm (popt)[source](file-name): New field.
| -rw-r--r-- | gnu/packages/popt.scm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gnu/packages/popt.scm b/gnu/packages/popt.scm index 857455d213..2e77368d20 100644 --- a/gnu/packages/popt.scm +++ b/gnu/packages/popt.scm @@ -68,6 +68,8 @@ line syntax.") ;; 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")))) |