diff options
Diffstat (limited to 'editors/drjava/distinfo')
| -rw-r--r-- | editors/drjava/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editors/drjava/distinfo b/editors/drjava/distinfo index f011c0c54c8c..38d9a29f6710 100644 --- a/editors/drjava/distinfo +++ b/editors/drjava/distinfo @@ -1,3 +1,3 @@ -MD5 (drjava-stable-20060918-1737.jar) = c9d5b7486f0df95c012fb2c4b213e555 -SHA256 (drjava-stable-20060918-1737.jar) = a5b122de5319215d5244c8325a2af1397c870894d21fa6470fb7b17a3cba52c2 -SIZE (drjava-stable-20060918-1737.jar) = 6359472 +MD5 (drjava-stable-20061025-1556.jar) = e3b8254137bd9f0a13b840289426733c +SHA256 (drjava-stable-20061025-1556.jar) = fbaf187be72be2a01247d56622e6e530d18e83360e1cc04869ad36e61fe43aa3 +SIZE (drjava-stable-20061025-1556.jar) = 6345250 |