From c8427a5e91c519ab6bad7a30ae84e06d3daef1d5 Mon Sep 17 00:00:00 2001 From: Ricardo Wurmus Date: Tue, 5 Mar 2019 09:36:49 +0100 Subject: gnu: java-eclipse-core-resources: Update to 3.13.200. * gnu/packages/java.scm (java-eclipse-core-resources): Update to 3.13.200. --- gnu/packages/java.scm | 4 ++-- 1 file 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 -- cgit v1.2.3