| changeset 83341 | b87ea73f8606 |
| parent 83151 | 954fe62909e9 |
--- a/src/Pure/Admin/component_zstd.scala Wed Oct 22 21:10:23 2025 +0200 +++ b/src/Pure/Admin/component_zstd.scala Wed Oct 22 21:23:01 2025 +0200 @@ -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.7-4" + val default_version = "1.5.7-6" def build_zstd( target_dir: Path = Path.current,