diff options
Diffstat (limited to 'www/jetty12/distinfo')
| -rw-r--r-- | www/jetty12/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/www/jetty12/distinfo b/www/jetty12/distinfo index 9dcbf6aedcb1..b3eaa851cfa8 100644 --- a/www/jetty12/distinfo +++ b/www/jetty12/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1746539559 -SHA256 (jetty-home-12.0.20.tar.gz) = b7c058fef45876b2878947f20e9f931cd158c87396d5d38bd528a5a5914adf6a -SIZE (jetty-home-12.0.20.tar.gz) = 34653439 +TIMESTAMP = 1755102454 +SHA256 (jetty-home-12.0.25.tar.gz) = adb2c23f410f3e2a5a34c3edc9e94b2282bb44c1c067d23a9de57a06919a7167 +SIZE (jetty-home-12.0.25.tar.gz) = 34709092 |