# HG changeset patch
# User wenzelm
# Date 1633384221 -7200
# Node ID 91ede652d828b66f18fc440cbbb8345fcb35c763
# Parent  4e317412db480b3860e8161aedd55cb752d9476a
include arm64-linux;

diff -r 4e317412db48 -r 91ede652d828 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Oct 04 23:47:15 2021 +0200
+++ b/Admin/components/components.sha1	Mon Oct 04 23:50:21 2021 +0200
@@ -449,4 +449,5 @@
 aa20745f0b03e606b1a4149598e0c7572b63c657  z3-4.8.3.tar.gz
 9dfeb39c87393af7b6a34118507637aa53aca05e  zipperposition-2.0-1.tar.gz
 b884c60653002a7811e3b652ae0515e825d98667  zipperposition-2.0.tar.gz
+b129ec4f8a4474953ec107536298ee08a01fbebc  zipperposition-2.1-1.tar.gz
 5f53a77efb5cbe9d0c95d74a1588cc923bd711a7  zipperposition-2.1.tar.gz
diff -r 4e317412db48 -r 91ede652d828 Admin/components/main
--- a/Admin/components/main	Mon Oct 04 23:47:15 2021 +0200
+++ b/Admin/components/main	Mon Oct 04 23:50:21 2021 +0200
@@ -28,4 +28,4 @@
 verit-2021.06-rmx
 xz-java-1.9
 z3-4.4.0pre-3
-zipperposition-2.1
+zipperposition-2.1-1