Update port: editors/jedit-devel to 4.3.p3

Update editors/jedit-devel to 4.3.p3, which includes many
	bugfixes and feature updates.

PR:		ports/91274
Submitted by:	Linh Pham <question+fbsdports@closedsrc.org>
This commit is contained in:
Edwin Groothuis 2006-01-04 05:44:44 +00:00
parent ddd0ffbd40
commit 36018ff3e9
Notes: svn2git 2021-03-31 03:12:20 +00:00
svn path=/head/; revision=152700
2 changed files with 4 additions and 4 deletions

View File

@ -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}

View File

@ -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