diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-03-05 09:36:33 +0100 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-03-06 10:10:23 +0100 |
| commit | 4fa9b6e657d0300499dd3cbfb5f1a62b5842100c (patch) | |
| tree | 3729e9dcb283c5a71d22fb980bab3d370e09816d /gnu/packages/java.scm | |
| parent | e40e3792e6151d45ff4e187a6c6a7bba7820eff7 (diff) | |
gnu: java-eclipse-core-runtime: Update to 3.15.100.
* gnu/packages/java.scm (java-eclipse-core-runtime): Update to 3.15.100.
Diffstat (limited to 'gnu/packages/java.scm')
| -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 985f5f79ff..e59540cd35 100644 --- a/gnu/packages/java.scm +++ b/gnu/packages/java.scm @@ -5611,7 +5611,7 @@ the module @code{org.eclipse.equinox.preferences}.") (define-public java-eclipse-core-runtime (package (name "java-eclipse-core-runtime") - (version "3.12.0") + (version "3.15.100") (source (origin (method url-fetch) (uri (string-append "https://repo1.maven.org/maven2/" @@ -5620,7 +5620,7 @@ the module @code{org.eclipse.equinox.preferences}.") version "-sources.jar")) (sha256 (base32 - "16mkf8jgj35pgzms7w1gyfq0gfm4ixw6c5xbbxzdj1la56c758ya")))) + "0l8xayacsbjvz5hypx2fv47vpw2n4dspamcfb3hx30x9hj8vmg7r")))) (build-system ant-build-system) (arguments `(#:tests? #f ; no tests included |