diff options
Diffstat (limited to 'editors/jedit-devel')
| -rw-r--r-- | editors/jedit-devel/Makefile | 4 | ||||
| -rw-r--r-- | editors/jedit-devel/distinfo | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/editors/jedit-devel/Makefile b/editors/jedit-devel/Makefile index 8eb7c3b0327e..7917b2c93b27 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -6,11 +6,11 @@ # PORTNAME= jedit -PORTVERSION= 4.3.p4 +PORTVERSION= 4.3.p5 CATEGORIES= editors java MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} -DISTNAME= ${PORTNAME}${PORTVERSION:S/.p/pre/}install +DISTNAME= ${PORTNAME:S/e/E/}${PORTVERSION:S/.p/pre/}install1 EXTRACT_SUFX= .jar EXTRACT_ONLY= diff --git a/editors/jedit-devel/distinfo b/editors/jedit-devel/distinfo index 3d8fa43fec9b..48393be5d12e 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,3 +1,3 @@ -MD5 (jedit4.3pre4install.jar) = 0f0031c06fd73d2f99fa42a807dc68b0 -SHA256 (jedit4.3pre4install.jar) = e87fd6ebb0d76278335fc56bd36b0636efa58aa5c63851df405f94de94679607 -SIZE (jedit4.3pre4install.jar) = 1822364 +MD5 (jEdit4.3pre5install1.jar) = 50a755e987d17f9576458977bcabb97c +SHA256 (jEdit4.3pre5install1.jar) = 128e1df7efc2594114f8bba0a4bb9c0c7098306fd7cc32ded53c82b9bbd6f0f2 +SIZE (jEdit4.3pre5install1.jar) = 7414037 |