changeset 81606 | 5995afcacbc3 |
parent 78298 | 3b0f8f1010f2 |
--- a/src/Pure/Admin/component_zstd.scala Mon Dec 16 13:51:32 2024 +0100 +++ b/src/Pure/Admin/component_zstd.scala Mon Dec 16 13:55:26 2024 +0100 @@ -32,7 +32,7 @@ val license_url = "https://raw.githubusercontent.com/luben/zstd-jni/master/LICENSE" val default_download_url = "https://repo1.maven.org/maven2/com/github/luben/zstd-jni" - val default_version = "1.5.5-4" + val default_version = "1.5.6-8" def build_zstd( target_dir: Path = Path.current,