diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-03-05 09:36:49 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-03-06 10:10:23 +0100 |
| commit | c8427a5e91c519ab6bad7a30ae84e06d3daef1d5 (patch) | |
| tree | cbddb8fd34773db9c246e41e4d8d8f0de624f8c4 | |
| parent | 4fa9b6e657d0300499dd3cbfb5f1a62b5842100c (diff) | |
gnu: java-eclipse-core-resources: Update to 3.13.200.
* gnu/packages/java.scm (java-eclipse-core-resources): Update to 3.13.200.
| -rw-r--r-- | gnu/packages/java.scm | 4 |
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 |