me
/
guix
Archived
1
0
Fork 0
Code

gnu: java-eclipse-jdt-core: Update to 3.16.0. 

* gnu/packages/java.scm (java-eclipse-jdt-core): Update to 3.16.0.
master
Ricardo Wurmus 2019-03-05 09:37:08 +01:00
parent c8427a5e91
commit 43d6776ba4
No known key found for this signature in database
GPG Key ID: 197A5888235FACAC
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gnu/packages/java.scm
View File

@ -5935,7 +5935,7 @@ and contributes the Eclipse default text editor.")
(define-public java-eclipse-jdt-core (define-public java-eclipse-jdt-core
(package (package
(name "java-eclipse-jdt-core") (name "java-eclipse-jdt-core")
(version "3.12.3") (version "3.16.0")
(source (origin (source (origin
(method url-fetch) (method url-fetch)
(uri (string-append "https://repo1.maven.org/maven2/" (uri (string-append "https://repo1.maven.org/maven2/"
@ -5944,7 +5944,7 @@ and contributes the Eclipse default text editor.")
version "-sources.jar")) version "-sources.jar"))
(sha256 (sha256
(base32 (base32
"191xw4lc7mjjkprh4ji5vnpjvr5r4zvbpwkriy4bvsjqrz35vh1j")))) "1g560yr9v2kzv34gc2m3ifpgnj7krcdd6h4gd4z83pwqacwkfz0k"))))
(build-system ant-build-system) (build-system ant-build-system)
(arguments (arguments
`(#:tests? #f ; no tests included `(#:tests? #f ; no tests included