diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2020-06-23 15:53:54 +0300 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2020-06-23 15:53:54 +0300 |
| commit | b5698f5b38588c3a5f883bd546d8c4f1de68e053 (patch) | |
| tree | 79170f7bc2aba8423f943c750a8532d9325fe618 /gnu/packages/java.scm | |
| parent | 1ed87c010e37100fb0bf637fbd13d75a601a4019 (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.scm | 1 |
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")))) |