#
PORTNAME= jedit
DISTVERSION= 4.3.p12
DISTVERSION= 4.3.p13
CATEGORIES= editors java
MASTER_SITES= SF
DISTNAME= ${PORTNAME}${PORTVERSION:S/.p/pre/}install
MD5 (jedit4.3pre12install.jar) = 5ce3c2a6e8553d364a5dda71e7ed3647
MD5 (jedit4.3pre13install.jar) = d6d8105c0f13d201613305cbb7499321
SHA256 (jedit4.3pre12install.jar) = a66ab77afdca4714df0e0857da01b95ae7942ec2736089892102b254542976b5
SHA256 (jedit4.3pre13install.jar) = ff55a3fee926113772b0cf9e2237497482df2270bf87022e033e664cbd30b9bc
SIZE (jedit4.3pre12install.jar) = 2306185
SIZE (jedit4.3pre13install.jar) = 2299916