diff options
Diffstat (limited to 'java/jgrapht')
| -rw-r--r-- | java/jgrapht/distinfo | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/java/jgrapht/distinfo b/java/jgrapht/distinfo index a7a8a5422c14..6d1da41999c3 100644 --- a/java/jgrapht/distinfo +++ b/java/jgrapht/distinfo @@ -1,2 +1,3 @@ MD5 (jgrapht-0.5.3.zip) = 24795c1d575eb21af724f712e906da26 +SHA256 (jgrapht-0.5.3.zip) = fbf5f4bd6ada6a55b88439c4ddac03e5b11d86147f420ff7ccbbfba3bc712bd3 SIZE (jgrapht-0.5.3.zip) = 818759 |