diff options
Diffstat (limited to 'editors')
| -rw-r--r-- | editors/drjava/Makefile | 2 | ||||
| -rw-r--r-- | editors/drjava/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/editors/drjava/Makefile b/editors/drjava/Makefile index b9b988d1e756..162affebff82 100644 --- a/editors/drjava/Makefile +++ b/editors/drjava/Makefile @@ -6,7 +6,7 @@ # PORTNAME= drjava -PORTVERSION= 20070828.1759 +PORTVERSION= 20080106.0744 #PORTREVISION= 0 CATEGORIES= editors java MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} diff --git a/editors/drjava/distinfo b/editors/drjava/distinfo index 580c7099f809..0554f01ffc83 100644 --- a/editors/drjava/distinfo +++ b/editors/drjava/distinfo @@ -1,3 +1,3 @@ -MD5 (drjava-stable-20070828-1759.jar) = ab9e7f745eb7b4892b8910af22d650ec -SHA256 (drjava-stable-20070828-1759.jar) = c18ba84d5c3db59ede47454a4b306e2371d9a89673818d71ee85064cf0b29c78 -SIZE (drjava-stable-20070828-1759.jar) = 6825103 +MD5 (drjava-stable-20080106-0744.jar) = f2ee41273e2de91df9ad65ec9e4fb2ae +SHA256 (drjava-stable-20080106-0744.jar) = f49c5efd509fc3ded4d054f9252143468ab12934148eb6218000162921a5c3c6 +SIZE (drjava-stable-20080106-0744.jar) = 6948262 |