#
PORTNAME= jedit
DISTVERSION= 4.3.p14
DISTVERSION= 4.3.p15
PORTREVISION= 1
CATEGORIES= editors java
MASTER_SITES= SF
DISTNAME= ${PORTNAME}${PORTVERSION:S/.p/pre/}install
MD5 (jedit4.3pre14install.jar) = ffbb94a8bb653c60fa0be7f3ebcfb998
MD5 (jedit4.3pre15install.jar) = 589554f31f160765b3ef57f74bb866df
SHA256 (jedit4.3pre14install.jar) = 11d746b366473b92e83041123235591115d3b76a98517edfb51ee69562047563
SHA256 (jedit4.3pre15install.jar) = 6b87e002788b769bb1cbca7d73e6c300e81b64455bcf2b1c15cfa0292a77c477
SIZE (jedit4.3pre14install.jar) = 2704776
SIZE (jedit4.3pre15install.jar) = 2648159