Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to zstd-jni-1.5.5-4;
authorwenzelm
Wed, 07 Jun 2023 15:35:19 +0200
changeset 78147 f4221ae7544c
parent 78146 5faedbc01c07
child 78148 b7b777fc916c
updated to zstd-jni-1.5.5-4;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions
src/Pure/Admin/component_zstd.scala file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Wed Jun 07 15:27:52 2023 +0200
+++ b/Admin/components/components.sha1	Wed Jun 07 15:35:19 2023 +0200
@@ -540,3 +540,4 @@
 b129ec4f8a4474953ec107536298ee08a01fbebc zipperposition-2.1-1.tar.gz
 5f53a77efb5cbe9d0c95d74a1588cc923bd711a7 zipperposition-2.1.tar.gz
 c101182780aeafbc2e0ea7e8b10b91c6f7483af2 zstd-jni-1.5.2-5.tar.gz
+d787fd0d0ee1827b6fc4d6288363f922770490e0 zstd-jni-1.5.5-4.tar.gz
--- a/Admin/components/main	Wed Jun 07 15:27:52 2023 +0200
+++ b/Admin/components/main	Wed Jun 07 15:35:19 2023 +0200
@@ -41,4 +41,4 @@
 xz-java-1.9
 z3-4.4.0_4.4.1
 zipperposition-2.1-1
-zstd-jni-1.5.2-5
+zstd-jni-1.5.5-4
--- a/src/Pure/Admin/component_zstd.scala	Wed Jun 07 15:27:52 2023 +0200
+++ b/src/Pure/Admin/component_zstd.scala	Wed Jun 07 15:35:19 2023 +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.2-5"
+  val default_version = "1.5.5-4"
 
   def build_zstd(
     target_dir: Path = Path.current,
isabelle