# HG changeset patch # User wenzelm # Date 1637016701 -3600 # Node ID 87718883c8b96e25d39c6db8705296298de468ab # Parent 227915e078917f5ff3ed1688df9e4e5579d37309 update z3-4.4.0pre-3 to z3-4.4.1, which happens to have an arm64_linux executable in Debian 9; diff -r 227915e07891 -r 87718883c8b9 Admin/components/components.sha1 --- 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 diff -r 227915e07891 -r 87718883c8b9 Admin/components/main --- 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