diff options
Diffstat (limited to 'java/eclipse-pydev/distinfo')
| -rw-r--r-- | java/eclipse-pydev/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/java/eclipse-pydev/distinfo b/java/eclipse-pydev/distinfo index 32c48dbe17ea..d58ec4424c83 100644 --- a/java/eclipse-pydev/distinfo +++ b/java/eclipse-pydev/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1711656045 -SHA256 (PyDev.12.0.0.zip) = daa593413ce6843415e49e0e1e52c0a8b501ac46a53cccc346a0c258bf9b2eea -SIZE (PyDev.12.0.0.zip) = 33079369 +TIMESTAMP = 1767273634 +SHA256 (PyDev.13.1.0.zip) = 2b1cb0c1b9771d5f92fdb3b7af35a65c07a084fdb15ee6cada77a79325e661c5 +SIZE (PyDev.13.1.0.zip) = 32834387 |