diff options
Diffstat (limited to 'editors')
| -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 089b5396965d..1cb9e1265661 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jedit -DISTVERSION= 4.3.p11 +DISTVERSION= 4.3.p12 CATEGORIES= editors java MASTER_SITES= SF DISTNAME= ${PORTNAME}${PORTVERSION:S/.p/pre/}install diff --git a/editors/jedit-devel/distinfo b/editors/jedit-devel/distinfo index 562a7af4dd6d..621debfcf460 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,3 +1,3 @@ -MD5 (jedit4.3pre11install.jar) = 9443fa169c4f35ccec5f94240e378d7e -SHA256 (jedit4.3pre11install.jar) = d9f407bb3833a21e16855f6fa59542d96762bc38620c86a85c4330e7dcd2e040 -SIZE (jedit4.3pre11install.jar) = 2290191 +MD5 (jedit4.3pre12install.jar) = 5ce3c2a6e8553d364a5dda71e7ed3647 +SHA256 (jedit4.3pre12install.jar) = a66ab77afdca4714df0e0857da01b95ae7942ec2736089892102b254542976b5 +SIZE (jedit4.3pre12install.jar) = 2306185 |