gnu: java-eclipse-core-runtime: Update to 3.15.100.

* gnu/packages/java.scm (java-eclipse-core-runtime): Update to 3.15.100.
This commit is contained in:
Ricardo Wurmus 2019-03-05 09:36:33 +01:00
parent e40e3792e6
commit 4fa9b6e657
No known key found for this signature in database
GPG key ID: 197A5888235FACAC

View file

@ -5611,7 +5611,7 @@ (define-public java-eclipse-core-contenttype
(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 @@ (define-public java-eclipse-core-runtime
version "-sources.jar"))
(sha256
(base32
"16mkf8jgj35pgzms7w1gyfq0gfm4ixw6c5xbbxzdj1la56c758ya"))))
"0l8xayacsbjvz5hypx2fv47vpw2n4dspamcfb3hx30x9hj8vmg7r"))))
(build-system ant-build-system)
(arguments
`(#:tests? #f ; no tests included