summaryrefslogtreecommitdiff
path: root/gnu/packages/java.scm
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/packages/java.scm
parent1ed87c010e37100fb0bf637fbd13d75a601a4019 (diff)
gnu: java-picocli: Use a source file-name.
* gnu/packages/java.scm (java-picocli)[source]: Add a file-name field.
Diffstat (limited to 'gnu/packages/java.scm')
-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"))))