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.
discontinue unstable z3-4.4.1 for arm64-linux from Debian (in contrast to 796ae338eb9d and 87718883c8b9);
authorwenzelm
Sun, 03 Mar 2024 12:21:10 +0100
changeset 79755 3066125a7f51
parent 79754 9686af7b947a
child 79756 444e409e6c6f
discontinue unstable z3-4.4.1 for arm64-linux from Debian (in contrast to 796ae338eb9d and 87718883c8b9);
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Sun Mar 03 12:00:44 2024 +0100
+++ b/Admin/components/components.sha1	Sun Mar 03 12:21:10 2024 +0100
@@ -565,6 +565,7 @@
 93e7e4bddc6afcf87fe2b6656cfcb1b1acd0a4f8 z3-4.4.0pre-1.tar.gz
 b1bc411c2083fc01577070b56b94514676f53854 z3-4.4.0pre-2.tar.gz
 4c366ab255d2e9343fb635d44d4d55ddd24c76d0 z3-4.4.0pre-3.tar.gz
+d735a4450c6c2ead107179e785942aa6d4cc40c4 z3-4.4.0pre-4.tar.gz
 517ba7b94c1985416c5b411c8ae84456367eb231 z3-4.4.0pre.tar.gz
 6e5d7a65757cac970eb5ad28cd62130c99f42c23 z3-4.4.1.tar.gz
 aa20745f0b03e606b1a4149598e0c7572b63c657 z3-4.8.3.tar.gz
--- a/Admin/components/main	Sun Mar 03 12:00:44 2024 +0100
+++ b/Admin/components/main	Sun Mar 03 12:21:10 2024 +0100
@@ -40,6 +40,6 @@
 vscode_extension-20230206
 vscodium-1.70.1
 xz-java-1.9
-z3-4.4.0_4.4.1
+z3-4.4.0pre-4
 zipperposition-2.1-1
 zstd-jni-1.5.5-4
isabelle