From 1535c07e92bb52ca207d5915dfe141e5acac2528 Mon Sep 17 00:00:00 2001
From: Efraim Flashner <efraim@flashner.co.il>
Date: Tue, 16 Feb 2021 11:18:52 +0200
Subject: [PATCH] gnu: java-args4j: Use a source file-name.

* gnu/packages/java.scm (java-args4j)[source]: Add 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 9c46551202..7ba8b46226 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -13342,6 +13342,7 @@ (define-public java-args4j
               (uri (git-reference
                     (url "https://github.com/kohsuke/args4j")
                     (commit (string-append "args4j-site-" version))))
+              (file-name (git-file-name name version))
               (sha256
                (base32
                 "0w061fg65qrsm1a0lz0vyprsyidj31krjb459qi2lw0y78xza26s"))))