#
PORTNAME= jedit
DISTVERSION= 4.3.p15
DISTVERSION= 4.3.p16
CATEGORIES= editors java
MASTER_SITES= SF
DISTNAME= ${PORTNAME}${PORTVERSION:S/.p/pre/}install
MD5 (jedit4.3pre15install.jar) = 589554f31f160765b3ef57f74bb866df
MD5 (jedit4.3pre16install.jar) = 854d20dbdf3ce0baa0bf42a0eff64709
SHA256 (jedit4.3pre15install.jar) = 6b87e002788b769bb1cbca7d73e6c300e81b64455bcf2b1c15cfa0292a77c477
SHA256 (jedit4.3pre16install.jar) = ae85bd24b7a6dfa36800edb781a77b77317fbd3fe0396d2946a97d64bc69c5bc
SIZE (jedit4.3pre15install.jar) = 2648159
SIZE (jedit4.3pre16install.jar) = 2689881