diff options
Diffstat (limited to 'graphics/ipe/distinfo')
| -rw-r--r-- | graphics/ipe/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/graphics/ipe/distinfo b/graphics/ipe/distinfo index 1c2a939c4753..9abccea4d2f0 100644 --- a/graphics/ipe/distinfo +++ b/graphics/ipe/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1611709798 -SHA256 (ipe-7.2.23-src.tar.gz) = a19ba29822e63fc7c12c3b85ca5bb58f9ee72fdf566e148af79206b5dc1f757b -SIZE (ipe-7.2.23-src.tar.gz) = 1030938 +TIMESTAMP = 1756889132 +SHA256 (ipe-7.2.25-src.tar.gz) = bfca2bfbd2119e4c0a310f361077bc2efb1f5b95e34275d1a02b8ade7aba21fc +SIZE (ipe-7.2.25-src.tar.gz) = 1039024 |