Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/main
changeset 78147 f4221ae7544c
parent 78146 5faedbc01c07
child 78285 98c53bcb9f07 
--- 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
isabelle