diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-01-04 05:44:44 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-01-04 05:44:44 +0000 |
| commit | 36018ff3e9806a29cd8f839564aca5f09f771fa5 (patch) | |
| tree | b69c77478b6a6ddeaf55a1ba5a484f2da5557284 /editors/jedit-devel | |
| parent | ddd0ffbd40e409d1380b70bfdbffa6514f0b86ef (diff) | |
| download | ports-36018ff3e9806a29cd8f839564aca5f09f771fa5.tar.gz ports-36018ff3e9806a29cd8f839564aca5f09f771fa5.zip | |
Notes
Diffstat (limited to 'editors/jedit-devel')
| -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 |