# HG changeset patch
# User wenzelm
# Date 1761160981 -7200
# Node ID b87ea73f8606b12434fc5a927b835c26bb60f914
# Parent  c9fe49bc3f17a7d46adf34b743e8efc503555d07
update to zstd-jni-1.5.7-6;

diff -r c9fe49bc3f17 -r b87ea73f8606 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Oct 22 21:10:23 2025 +0200
+++ b/Admin/components/components.sha1	Wed Oct 22 21:23:01 2025 +0200
@@ -682,3 +682,4 @@
 d787fd0d0ee1827b6fc4d6288363f922770490e0 zstd-jni-1.5.5-4.tar.gz
 43c9fc08e3de346292d591df8098d99a56dba1a3 zstd-jni-1.5.6-8.tar.gz
 a9d309500ff9600e8c3110f7e7edc47691de7877 zstd-jni-1.5.7-4.tar.gz
+ec381c91541be4f1c9440c115363fd657b474df3 zstd-jni-1.5.7-6.tar.gz
diff -r c9fe49bc3f17 -r b87ea73f8606 Admin/components/main
--- a/Admin/components/main	Wed Oct 22 21:10:23 2025 +0200
+++ b/Admin/components/main	Wed Oct 22 21:23:01 2025 +0200
@@ -45,4 +45,4 @@
 xz-java-1.10
 z3-4.4.0pre-4
 zipperposition-2.1-1
-zstd-jni-1.5.7-4
+zstd-jni-1.5.7-6
diff -r c9fe49bc3f17 -r b87ea73f8606 src/Pure/Admin/component_zstd.scala
--- 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,