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 e724c78c1c52..b3eaa851cfa8 100644 --- a/www/jetty12/distinfo +++ b/www/jetty12/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1752001733 -SHA256 (jetty-home-12.0.23.tar.gz) = a18e88539f62af9d9e338a8ed9aace2c4acde02114093d2244ce08f62a7e9b72 -SIZE (jetty-home-12.0.23.tar.gz) = 34705941 +TIMESTAMP = 1755102454 +SHA256 (jetty-home-12.0.25.tar.gz) = adb2c23f410f3e2a5a34c3edc9e94b2282bb44c1c067d23a9de57a06919a7167 +SIZE (jetty-home-12.0.25.tar.gz) = 34709092 |