--- a/Admin/components/main Tue Oct 05 00:03:39 2021 +0200
+++ b/Admin/components/main Tue Oct 05 00:04:01 2021 +0200
@@ -24,7 +24,7 @@
sqlite-jdbc-3.36.0.3
ssh-java-20190323
stack-2.7.3
-vampire-4.5.1
+vampire-4.5.1-1
verit-2021.06-rmx
xz-java-1.9
z3-4.4.0pre-3