diff options
| author | Efraim Flashner <efraim@flashner.co.il> | 2021-02-16 11:18:52 +0200 |
|---|---|---|
| committer | Efraim Flashner <efraim@flashner.co.il> | 2021-02-16 11:18:52 +0200 |
| commit | 1535c07e92bb52ca207d5915dfe141e5acac2528 (patch) | |
| tree | ccfafbe03363c292e0d674986c037868b5f7a02f | |
| parent | c896d4655dd0fdab86d7f6b15379eeec8cdf510d (diff) | |
| download | guix-1535c07e92bb52ca207d5915dfe141e5acac2528.tar.gz | |
gnu: java-args4j: Use a source file-name.
* gnu/packages/java.scm (java-args4j)[source]: Add file-name field.
| -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 9c46551202..7ba8b46226 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")))) |