summaryrefslogtreecommitdiff
path: root/gnu/packages/java.scm
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-03-05 09:36:49 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-03-06 10:10:23 +0100
commitc8427a5e91c519ab6bad7a30ae84e06d3daef1d5 (patch)
treecbddb8fd34773db9c246e41e4d8d8f0de624f8c4 /gnu/packages/java.scm
parent4fa9b6e657d0300499dd3cbfb5f1a62b5842100c (diff)
gnu: java-eclipse-core-resources: Update to 3.13.200.
* gnu/packages/java.scm (java-eclipse-core-resources): Update to 3.13.200.
Diffstat (limited to 'gnu/packages/java.scm')
-rw-r--r--gnu/packages/java.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/java.scm b/gnu/packages/java.scm
index e59540cd35..627879061f 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -5759,7 +5759,7 @@ the module @code{org.eclipse.ant.core}.")
(define-public java-eclipse-core-resources
(package
(name "java-eclipse-core-resources")
- (version "3.11.1")
+ (version "3.13.200")
(source (origin
(method url-fetch)
(uri (string-append "https://repo1.maven.org/maven2/"
@@ -5768,7 +5768,7 @@ the module @code{org.eclipse.ant.core}.")
version "-sources.jar"))
(sha256
(base32
- "1hrfxrll6cpcagfksk2na1ypvkcnsp0fk6n3vcsrn97qayf9mx9l"))))
+ "1sn3b6ky72hkvxcgf9b2jkpbdh3y8lbhi9xxwv1dsiddpkkq91hs"))))
(build-system ant-build-system)
(arguments
`(#:tests? #f ; no tests included