diff options
| author | pgollucci <pgollucci@FreeBSD.org> | 2009-07-20 13:35:20 +0800 |
|---|---|---|
| committer | pgollucci <pgollucci@FreeBSD.org> | 2009-07-20 13:35:20 +0800 |
| commit | beb6bb97565089e8a4914ba6608fa823d9f18aed (patch) | |
| tree | 7ee534020fad1598acfc76b223e2f8002e329f46 /editors | |
| parent | af8722c69b76321e3d8aeee08e7560175622435d (diff) | |
| download | freebsd-ports-gnome-beb6bb97565089e8a4914ba6608fa823d9f18aed.tar.gz freebsd-ports-gnome-beb6bb97565089e8a4914ba6608fa823d9f18aed.tar.zst freebsd-ports-gnome-beb6bb97565089e8a4914ba6608fa823d9f18aed.zip | |
- Update to 4.3.p17
PR: ports/136879
Submitted by: Linh Pham <question+fbsdports@closedsrc.org> (maintainer)
Diffstat (limited to 'editors')
| -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 404abcbdbbe7..0623a92b6059 100644 --- a/editors/jedit-devel/Makefile +++ b/editors/jedit-devel/Makefile @@ -6,7 +6,7 @@ # PORTNAME= jedit -DISTVERSION= 4.3.p16 +DISTVERSION= 4.3.p17 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 f386c60aec3c..c95d6dc0e511 100644 --- a/editors/jedit-devel/distinfo +++ b/editors/jedit-devel/distinfo @@ -1,3 +1,3 @@ -MD5 (jedit4.3pre16install.jar) = 854d20dbdf3ce0baa0bf42a0eff64709 -SHA256 (jedit4.3pre16install.jar) = ae85bd24b7a6dfa36800edb781a77b77317fbd3fe0396d2946a97d64bc69c5bc -SIZE (jedit4.3pre16install.jar) = 2689881 +MD5 (jedit4.3pre17install.jar) = 775edd293060fb3069374098ce856b2b +SHA256 (jedit4.3pre17install.jar) = 359e65091d0d6fcf5075963813f15ea4a776bd765055400d8a854b5f308574f5 +SIZE (jedit4.3pre17install.jar) = 2746545 |