[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#32231] [PATCH 2/8] gnu: java-logback-core: Add file-name field.
From: |
Björn Höfling |
Subject: |
[bug#32231] [PATCH 2/8] gnu: java-logback-core: Add file-name field. |
Date: |
Sat, 21 Jul 2018 10:22:36 +0200 |
* gnu/package/java.scm (java-logback-core)[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 b8587cc..7f7cf52 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -10277,6 +10277,7 @@ static code analysis or code manipulation.")))
(method url-fetch)
(uri (string-append
"https://github.com/qos-ch/logback/archive/v_"
version ".tar.gz"))
+ (file-name (string-append name "-" version ".tar.gz"))
(sha256
(base32
"1x6ga74yfgm94cfx98gybakbrlilx8i2gn6dx13l40kasmys06mi"))
--
2.7.4
pgpEwvpDIwufm.pgp
Description: OpenPGP digital signature
- [bug#32231] [PATCH 0/8] Tomcat related updates, Björn Höfling, 2018/07/21
- [bug#32231] [PATCH 1/8] gnu: java-guice: Remove jars., Björn Höfling, 2018/07/21
- [bug#32231] [PATCH 2/8] gnu: java-logback-core: Add file-name field.,
Björn Höfling <=
- [bug#32231] [PATCH 3/8] gnu: java: Use java-classpathx-servletapi instead of java-tomcat where possible., Björn Höfling, 2018/07/21
- [bug#32231] [PATCH 4/8] gnu: Add java-javaee-servletapi., Björn Höfling, 2018/07/21
- [bug#32231] [PATCH 5/8] gnu: java: Use java-javaee-servletapi instead of java-tomcat., Björn Höfling, 2018/07/21
- [bug#32231] [PATCH 6/8] gnu: java-tomcat: Update to 8.5.32., Björn Höfling, 2018/07/21
- [bug#32231] [PATCH 7/8] gnu: java-tomcat: Remove bundled jars., Björn Höfling, 2018/07/21
- [bug#32231] [PATCH 8/8] gnu: java-tomcat: Strip timestamps, Björn Höfling, 2018/07/21
- bug#32231: [PATCH 0/8] Tomcat related updates, Julien Lepiller, 2018/07/24