aboutsummaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-03-05 09:37:08 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-03-06 10:10:23 +0100
commit43d6776ba42e8542358a48bc80749d50b9d34bb7 (patch)
tree37d26228006d2166ad9f9341c5a5cc0c8759619c /gnu
parentc8427a5e91c519ab6bad7a30ae84e06d3daef1d5 (diff)
downloadpatches-43d6776ba42e8542358a48bc80749d50b9d34bb7.tar
patches-43d6776ba42e8542358a48bc80749d50b9d34bb7.tar.gz
gnu: java-eclipse-jdt-core: Update to 3.16.0.
* gnu/packages/java.scm (java-eclipse-jdt-core): Update to 3.16.0.
Diffstat (limited to 'gnu')
-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 627879061f..89f2a8f5e2 100644
--- a/gnu/packages/java.scm
+++ b/gnu/packages/java.scm
@@ -5935,7 +5935,7 @@ and contributes the Eclipse default text editor.")
(define-public java-eclipse-jdt-core
(package
(name "java-eclipse-jdt-core")
- (version "3.12.3")
+ (version "3.16.0")
(source (origin
(method url-fetch)
(uri (string-append "https://repo1.maven.org/maven2/"
@@ -5944,7 +5944,7 @@ and contributes the Eclipse default text editor.")
version "-sources.jar"))
(sha256
(base32
- "191xw4lc7mjjkprh4ji5vnpjvr5r4zvbpwkriy4bvsjqrz35vh1j"))))
+ "1g560yr9v2kzv34gc2m3ifpgnj7krcdd6h4gd4z83pwqacwkfz0k"))))
(build-system ant-build-system)
(arguments
`(#:tests? #f ; no tests included