gnu: java-eclipse-core-resources: Update to 3.13.200.

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

View file

@ -5759,7 +5759,7 @@ (define-public java-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 @@ (define-public java-eclipse-core-resources
version "-sources.jar"))
(sha256
(base32
"1hrfxrll6cpcagfksk2na1ypvkcnsp0fk6n3vcsrn97qayf9mx9l"))))
"1sn3b6ky72hkvxcgf9b2jkpbdh3y8lbhi9xxwv1dsiddpkkq91hs"))))
(build-system ant-build-system)
(arguments
`(#:tests? #f ; no tests included