java/eclipse-pydev: update to 13.1.0

Changelog: https://www.pydev.org/history_pydev.html#release-13-1-0-2025-09-21
2026-01-01 17:09:04 +03:00
parent 7af99c906f
commit edd3a3dfc9
3 changed files with 1767 additions and 932 deletions
@@ -1,8 +1,8 @@
 PORTNAME=	pydev
-PORTVERSION=	12.0.0
+PORTVERSION=	13.1.0
 PORTREVISION=	1
 CATEGORIES=	java devel python
-MASTER_SITES=	https://github.com/fabioz/Pydev/releases/download/${PORTNAME}_12_0_0/
+MASTER_SITES=	https://github.com/fabioz/Pydev/releases/download/${PORTNAME}_13_1_0/
 PKGNAMEPREFIX=	eclipse-
 DISTNAME=	PyDev.${PORTVERSION}

@@ -20,7 +20,7 @@ JAVA_OS=	native
 NO_BUILD=	YES
 NO_WRKSUBDIR=	YES

-PLIST_SUB+=     PYDEV_VER=12.0.0.202402010911
+PLIST_SUB+=     PYDEV_VER=13.1.0.202509210817

 OPTIONS_DEFINE=	JYTHON

@@ -1,3 +1,3 @@
-TIMESTAMP = 1711656045
-SHA256 (PyDev.12.0.0.zip) = daa593413ce6843415e49e0e1e52c0a8b501ac46a53cccc346a0c258bf9b2eea
-SIZE (PyDev.12.0.0.zip) = 33079369
+TIMESTAMP = 1767273634
+SHA256 (PyDev.13.1.0.zip) = 2b1cb0c1b9771d5f92fdb3b7af35a65c07a084fdb15ee6cada77a79325e661c5
+SIZE (PyDev.13.1.0.zip) = 32834387