#
PORTNAME= jedit
DISTVERSION= 4.3.p11
DISTVERSION= 4.3.p12
CATEGORIES= editors java
MASTER_SITES= SF
DISTNAME= ${PORTNAME}${PORTVERSION:S/.p/pre/}install
MD5 (jedit4.3pre11install.jar) = 9443fa169c4f35ccec5f94240e378d7e
MD5 (jedit4.3pre12install.jar) = 5ce3c2a6e8553d364a5dda71e7ed3647
SHA256 (jedit4.3pre11install.jar) = d9f407bb3833a21e16855f6fa59542d96762bc38620c86a85c4330e7dcd2e040
SHA256 (jedit4.3pre12install.jar) = a66ab77afdca4714df0e0857da01b95ae7942ec2736089892102b254542976b5
SIZE (jedit4.3pre11install.jar) = 2290191
SIZE (jedit4.3pre12install.jar) = 2306185