01/13: gnu: java-picocli: Use a source file-name.

[guix-commits]

efraim pushed a commit to branch master
in repository guix.

commit b5698f5b38588c3a5f883bd546d8c4f1de68e053
Author: Efraim Flashner <efraim@flashner.co.il>
AuthorDate: Tue Jun 23 15:53:54 2020 +0300

    gnu: java-picocli: Use a source file-name.
    
    * gnu/packages/java.scm (java-picocli)[source]: Add a file-name field.
---
 gnu/packages/java.scm | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm
index cfe67d5..2e22911 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -11922,6 +11922,7 @@ Isolation and Durability) properties.")
               (uri (git-reference
                      (url "https://github.com/remkop/picocli";)
                      (commit (string-append "v" version))))
+              (file-name (git-file-name name version))
               (sha256
                (base32
                 "1sxp6rxjfgjd98ly14b3d15dvxkm5wg4g46w12jyhmr0kmkaca3c"))))