src/Pure/Admin/component_zstd.scala
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,