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 83151 954fe62909e9
parent 83150 d1b49f9859ac
child 83152 5708aa8d1493 
--- a/Admin/components/main	Sat Sep 13 19:38:20 2025 +0200
+++ b/Admin/components/main	Sat Sep 13 19:51:53 2025 +0200
@@ -45,4 +45,4 @@
 xz-java-1.10
 z3-4.4.0pre-4
 zipperposition-2.1-1
-zstd-jni-1.5.6-8
+zstd-jni-1.5.7-4
isabelle