--- a/Admin/components/main Wed Oct 06 20:26:08 2021 +0200
+++ b/Admin/components/main Wed Oct 06 21:18:00 2021 +0200
@@ -24,7 +24,7 @@
sqlite-jdbc-3.36.0.3
ssh-java-20190323
stack-2.7.3
-vampire-4.5.1-1
+vampire-4.6
verit-2021.06-rmx
xz-java-1.9
z3-4.4.0pre-3