diff options
| -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 2e75a82a40e0..404abcbdbbe7 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jedit -DISTVERSION= 4.3.p15 +DISTVERSION= 4.3.p16 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 fdf73c44467d..f386c60aec3c 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,3 +1,3 @@ -MD5 (jedit4.3pre15install.jar) = 589554f31f160765b3ef57f74bb866df -SHA256 (jedit4.3pre15install.jar) = 6b87e002788b769bb1cbca7d73e6c300e81b64455bcf2b1c15cfa0292a77c477 -SIZE (jedit4.3pre15install.jar) = 2648159 +MD5 (jedit4.3pre16install.jar) = 854d20dbdf3ce0baa0bf42a0eff64709 +SHA256 (jedit4.3pre16install.jar) = ae85bd24b7a6dfa36800edb781a77b77317fbd3fe0396d2946a97d64bc69c5bc +SIZE (jedit4.3pre16install.jar) = 2689881 |