java/eclipse-pydev: update to 10.1.3

Changelog: https://www.pydev.org/history_pydev.html#release-10-1-3-2023-01-23
freebsd · Feb 4, 2023 · 9de5a66 · 9de5a66
1 parent 89168e9
commit 9de5a66
Show file tree

Hide file tree

Showing 3 changed files with 4,293 additions and 4,293 deletions.
diff --git a/java/eclipse-pydev/Makefile b/java/eclipse-pydev/Makefile
@@ -1,7 +1,7 @@
 PORTNAME=	pydev
-PORTVERSION=	10.1.1
+PORTVERSION=	10.1.3
 CATEGORIES=	java devel python
-MASTER_SITES=	https://github.com/fabioz/Pydev/releases/download/${PORTNAME}_10_1_1/
+MASTER_SITES=	https://github.com/fabioz/Pydev/releases/download/${PORTNAME}_10_1_3/
 PKGNAMEPREFIX=	eclipse-
 DISTNAME=	PyDev.${PORTVERSION}
 

diff --git a/java/eclipse-pydev/distinfo b/java/eclipse-pydev/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1673336896
-SHA256 (PyDev.10.1.1.zip) = edf1a17e28302772c22174c6699ad0e579660ca153920ff7d6b6f97964d2aee8
-SIZE (PyDev.10.1.1.zip) = 30183744
+TIMESTAMP = 1675494295
+SHA256 (PyDev.10.1.3.zip) = 751ea7f880823a1e4a2e5bc9fe5967f225969d90245db09decffae013627f89f
+SIZE (PyDev.10.1.3.zip) = 30187665