# HG changeset patch
# User wenzelm
# Date 1734353726 -3600
# Node ID 5995afcacbc363076ea946d614d0ddd65bfda4d9
# Parent  91dacb5b65742deba98f9785b3154208ae66ad33
update to zstd-jni-1.5.6-8;

diff -r 91dacb5b6574 -r 5995afcacbc3 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Dec 16 13:51:32 2024 +0100
+++ b/Admin/components/components.sha1	Mon Dec 16 13:55:26 2024 +0100
@@ -605,3 +605,4 @@
 5f53a77efb5cbe9d0c95d74a1588cc923bd711a7 zipperposition-2.1.tar.gz
 c101182780aeafbc2e0ea7e8b10b91c6f7483af2 zstd-jni-1.5.2-5.tar.gz
 d787fd0d0ee1827b6fc4d6288363f922770490e0 zstd-jni-1.5.5-4.tar.gz
+43c9fc08e3de346292d591df8098d99a56dba1a3 zstd-jni-1.5.6-8.tar.gz
diff -r 91dacb5b6574 -r 5995afcacbc3 Admin/components/main
--- a/Admin/components/main	Mon Dec 16 13:51:32 2024 +0100
+++ b/Admin/components/main	Mon Dec 16 13:55:26 2024 +0100
@@ -42,4 +42,4 @@
 xz-java-1.9
 z3-4.4.0pre-4
 zipperposition-2.1-1
-zstd-jni-1.5.5-4
+zstd-jni-1.5.6-8
diff -r 91dacb5b6574 -r 5995afcacbc3 src/Pure/Admin/component_zstd.scala
--- 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,