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.
update z3-4.4.0pre-3 to z3-4.4.1, which happens to have an arm64_linux executable in Debian 9;
authorwenzelm
Mon, 15 Nov 2021 23:51:41 +0100
changeset 74792 87718883c8b9
parent 74791 227915e07891
child 74793 b6f6e3ca2bdc
update z3-4.4.0pre-3 to z3-4.4.1, which happens to have an arm64_linux executable in Debian 9;
Admin/components/components.sha1 file | annotate | diff | comparison | revisions
Admin/components/main file | annotate | diff | comparison | revisions 
--- a/Admin/components/components.sha1	Mon Nov 15 18:04:07 2021 +0100
+++ b/Admin/components/components.sha1	Mon Nov 15 23:51:41 2021 +0100
@@ -464,6 +464,7 @@
 b1bc411c2083fc01577070b56b94514676f53854  z3-4.4.0pre-2.tar.gz
 4c366ab255d2e9343fb635d44d4d55ddd24c76d0  z3-4.4.0pre-3.tar.gz
 517ba7b94c1985416c5b411c8ae84456367eb231  z3-4.4.0pre.tar.gz
+6e5d7a65757cac970eb5ad28cd62130c99f42c23  z3-4.4.1.tar.gz
 aa20745f0b03e606b1a4149598e0c7572b63c657  z3-4.8.3.tar.gz
 9dfeb39c87393af7b6a34118507637aa53aca05e  zipperposition-2.0-1.tar.gz
 b884c60653002a7811e3b652ae0515e825d98667  zipperposition-2.0.tar.gz
--- a/Admin/components/main	Mon Nov 15 18:04:07 2021 +0100
+++ b/Admin/components/main	Mon Nov 15 23:51:41 2021 +0100
@@ -28,5 +28,5 @@
 vampire-4.6
 verit-2021.06.1-rmx
 xz-java-1.9
-z3-4.4.0pre-3
+z3-4.4.1
 zipperposition-2.1-1
isabelle