diff --git a/Admin/components/main b/Admin/components/main
--- a/Admin/components/main
+++ b/Admin/components/main
@@ -1,32 +1,32 @@
 #main components for repository clones or release bundles
 gnu-utils-20211030
 bash_process-1.2.4-2
 bib2xhtml-20190409
 csdp-6.1.1
 cvc4-1.8
 e-2.6-1
 flatlaf-1.6
 idea-icons-20210508
 isabelle_fonts-20211004
 isabelle_setup-20210922
 jdk-17.0.1+12
 jedit-20211103
 jfreechart-1.5.3
 jortho-1.0-2
 kodkodi-1.5.7
 minisat-2.2.1
 nunchaku-0.5
 opam-2.0.7
 polyml-5.9-5d4caa8f7148
 postgresql-42.2.24
-scala-2.13.7
+scala-2.13.5
 smbc-0.4.1
 spass-3.8ds-2
 sqlite-jdbc-3.36.0.3
 ssh-java-20190323
 stack-2.7.3
 vampire-4.6
 verit-2021.06.1-rmx
 xz-java-1.9
 z3-4.4.0pre-3
 zipperposition-2.1-1