gnu: java-picocli: Use a source file-name.

* gnu/packages/java.scm (java-picocli)[source]: Add a file-name field.
This commit is contained in:
Efraim Flashner 2020-06-23 15:53:54 +03:00
parent 1ed87c010e
commit b5698f5b38
No known key found for this signature in database
GPG key ID: 41AAE7DCCA3D8351

View file

@ -11922,6 +11922,7 @@ (define-public java-picocli
(uri (git-reference
(url "https://github.com/remkop/picocli")
(commit (string-append "v" version))))
(file-name (git-file-name name version))
(sha256
(base32
"1sxp6rxjfgjd98ly14b3d15dvxkm5wg4g46w12jyhmr0kmkaca3c"))))