01/13: gnu: popt: Add a source file name.

[guix-commits]

mbakke pushed a commit to branch master
in repository guix.

commit 981bd6e69cc7d58889b8b14d582b5519be7f7246
Author: Marius Bakke <address@hidden>
AuthorDate: Wed Jan 15 20:07:37 2020 +0100

    gnu: popt: Add a source file name.
    
    * gnu/packages/popt.scm (popt)[source](file-name): New field.
---
 gnu/packages/popt.scm | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/gnu/packages/popt.scm b/gnu/packages/popt.scm
index 857455d..2e77368 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"))))