This is an automated email from the git hooks/post-receive script.
efraim pushed a commit to branch master
in repository guix.
The following commit(s) were added to refs/heads/master by this push:
new 1535c07 gnu: java-args4j: Use a source file-name.
1535c07 is described below
commit 1535c07e92bb52ca207d5915dfe141e5acac2528
Author: Efraim Flashner <[email protected]>
AuthorDate: Tue Feb 16 11:18:52 2021 +0200
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 9c46551..7ba8b46 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -13342,6 +13342,7 @@ library and the API is similar.")
(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"))))
