From b5698f5b38588c3a5f883bd546d8c4f1de68e053 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Tue, 23 Jun 2020 15:53:54 +0300
Subject: 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(+)

(limited to 'gnu')

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"))))
-- 
cgit v1.2.3