diff options
Diffstat (limited to 'java/jgrapht')
| -rw-r--r-- | java/jgrapht/Makefile | 3 | ||||
| -rw-r--r-- | java/jgrapht/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/java/jgrapht/Makefile b/java/jgrapht/Makefile index b0394cb0576d..c89b52324639 100644 --- a/java/jgrapht/Makefile +++ b/java/jgrapht/Makefile @@ -6,8 +6,7 @@ # PORTNAME= jgrapht -PORTVERSION= 0.7.0 -PORTREVISION= 1 +PORTVERSION= 0.7.3 CATEGORIES= java math MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} diff --git a/java/jgrapht/distinfo b/java/jgrapht/distinfo index 084d3bdabd5d..aae56261f38d 100644 --- a/java/jgrapht/distinfo +++ b/java/jgrapht/distinfo @@ -1,3 +1,3 @@ -MD5 (jgrapht-0.7.0.zip) = 846496197c960dd9e60dc309f34f7231 -SHA256 (jgrapht-0.7.0.zip) = f5f5b2fb3b8c4ad15a0c6492b048308a722e88283ce18274d7a08c643ed93077 -SIZE (jgrapht-0.7.0.zip) = 1511494 +MD5 (jgrapht-0.7.3.zip) = 48dc97fcfd4740ab15697146c5b4dd7b +SHA256 (jgrapht-0.7.3.zip) = e59bc448b55f8e32f9a3aed0103e733015b1c343f86c790a23df76997716ab81 +SIZE (jgrapht-0.7.3.zip) = 1668719 |