--- a/Admin/components/main Tue Sep 28 11:11:44 2021 +0200 +++ b/Admin/components/main Tue Sep 28 12:35:43 2021 +0200 @@ -28,4 +28,4 @@ verit-2020.10-rmx-1 xz-java-1.8 z3-4.4.0pre-3 -zipperposition-2.0-1 +zipperposition-2.1