diff options
Diffstat (limited to 'editors/mined/distinfo')
| -rw-r--r-- | editors/mined/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/editors/mined/distinfo b/editors/mined/distinfo index 233095095e54..693117ea0492 100644 --- a/editors/mined/distinfo +++ b/editors/mined/distinfo @@ -1,3 +1,3 @@ -MD5 (mined-2000.12.2.tar.gz) = b3989fd8ab4bcdb9d34aa394b74eff37 -SHA256 (mined-2000.12.2.tar.gz) = cf178ef3254dda7efbe0435d09691a879d11edcb2f088f48d737c471bbce4e08 -SIZE (mined-2000.12.2.tar.gz) = 3345540 +MD5 (mined-2000.13.1.tar.gz) = b7fcc9367d43300b3ed1df8c2ac5ed77 +SHA256 (mined-2000.13.1.tar.gz) = 6365707a6209e9ec5fae88f2a2bee2cee514584d3ab12bee005e2f4a20a02de4 +SIZE (mined-2000.13.1.tar.gz) = 3570118 |