diff options
| -rw-r--r-- | editors/jedit-devel/Makefile | 2 | ||||
| -rw-r--r-- | editors/jedit-devel/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/editors/jedit-devel/Makefile b/editors/jedit-devel/Makefile index 73ce171db49c..d09f4c369abc 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jedit -PORTVERSION= 4.3.p2 +PORTVERSION= 4.3.p3 CATEGORIES= editors java MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} diff --git a/editors/jedit-devel/distinfo b/editors/jedit-devel/distinfo index e5c6f7d80767..b887b5b8a19e 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,3 +1,3 @@ -MD5 (jedit43pre2install.jar) = 87b987b953fef314511ca3df2c2626ea -SHA256 (jedit43pre2install.jar) = 114a7abff01fef629943cc46d7c85a11034f66c83568e732373662bf45682fd1 -SIZE (jedit43pre2install.jar) = 2111417 +MD5 (jedit43pre3install.jar) = 766ccfd03d614f2390d7e319f43e8842 +SHA256 (jedit43pre3install.jar) = d5f238b64ed3b14121882c2988eadf70679e174d7cd8eb3c9ed59accc6524531 +SIZE (jedit43pre3install.jar) = 2136078 |