diff options
Diffstat (limited to 'java/jflex/distinfo')
| -rw-r--r-- | java/jflex/distinfo | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/java/jflex/distinfo b/java/jflex/distinfo index 826ea9ba7f88..a6af68462506 100644 --- a/java/jflex/distinfo +++ b/java/jflex/distinfo @@ -1,6 +1,9 @@ MD5 (jflex-1.4.1.tar.gz) = 9e4be6e826e6b344e84c0434d6fd4b46 +SHA256 (jflex-1.4.1.tar.gz) = 6b70a95208b301ca6abcd80fb93c60de006b5b5d4fc9a7d63848bdf0c2e6973a SIZE (jflex-1.4.1.tar.gz) = 986546 MD5 (JFlex.jar) = 626c0c66135a48c042d3b35af95d274d +SHA256 (JFlex.jar) = 3e0f55bd6833bdf0192b77fa4c9b16c19b20c54268f94790314eb787d9a0c92c SIZE (JFlex.jar) = 169629 MD5 (java_cup.jar) = 26aef43b31cf3e0b581017e75a325b7b +SHA256 (java_cup.jar) = e38472bac2c70896e155b82ce9c7fc99e6e7d78214e86634c1edb2ec62dbb20b SIZE (java_cup.jar) = 97241 |