--- 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