diff -r d7a62db70a07 -r 19022ea3f8cc Admin/components/main
--- a/Admin/components/main	Mon Sep 13 17:06:44 2021 +0200
+++ b/Admin/components/main	Wed Sep 15 16:02:04 2021 +0200
@@ -15,6 +15,7 @@
 jortho-1.0-2
 kodkodi-1.5.6-1
 nunchaku-0.5
+old_vampire-4.2.2
 opam-2.0.7
 polyml-5.8.2
 postgresql-42.2.18
@@ -24,7 +25,6 @@
 sqlite-jdbc-3.34.0
 ssh-java-20190323
 stack-2.7.3
-vampire-4.2.2
 verit-2020.10-rmx-1
 xz-java-1.8
 z3-4.4.0pre-3