Admin/components/main
changeset 75076 23a97a547a9e
parent 75051 a755733c1eb5
child 75109 38e5417910ab
--- a/Admin/components/main	Thu Nov 04 15:44:37 2021 +0100
+++ b/Admin/components/main	Thu Nov 04 15:54:01 2021 +0100
@@ -26,7 +26,7 @@
 ssh-java-20190323
 stack-2.7.3
 vampire-4.6
-verit-2021.06-rmx-1
+verit-2021.06.1-rmx
 xz-java-1.9
 z3-4.4.0pre-3
 zipperposition-2.1-1