summary refs log tree commit diff
path: root/gnu
diff options
context:
space:
mode:
authorEfraim Flashner <efraim@flashner.co.il>2020-06-23 15:53:54 +0300
committerEfraim Flashner <efraim@flashner.co.il>2020-06-23 15:53:54 +0300
commitb5698f5b38588c3a5f883bd546d8c4f1de68e053 (patch)
tree79170f7bc2aba8423f943c750a8532d9325fe618 /gnu
parent1ed87c010e37100fb0bf637fbd13d75a601a4019 (diff)
downloadguix-b5698f5b38588c3a5f883bd546d8c4f1de68e053.tar.gz
gnu: java-picocli: Use a source file-name.
* gnu/packages/java.scm (java-picocli)[source]: Add a file-name field.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/java.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm
index cfe67d5688..2e229110a3 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"))))