--- a/Admin/components/components.sha1 Thu Jan 15 14:01:26 2015 +0100
+++ b/Admin/components/components.sha1 Thu Jan 15 16:26:23 2015 +0100
@@ -93,6 +93,7 @@
14f20de82b25215a5e055631fb147356400625e6 scala-2.11.1.tar.gz
4fe9590d08e55760b86755d3fab750e90ac6c380 scala-2.11.2.tar.gz
27a296495b2167148de06314ed9a942f2dbe23fe scala-2.11.4.tar.gz
+4b24326541161ce65424293ca9da3e7c2c6ab452 scala-2.11.5.tar.gz
b447017e81600cc5e30dd61b5d4962f6da01aa80 scala-2.8.1.final.tar.gz
5659440f6b86db29f0c9c0de7249b7e24a647126 scala-2.9.2.tar.gz
43b5afbcad575ab6817d2289756ca22fd2ef43a9 spass-3.8ds.tar.gz
--- a/Admin/components/main Thu Jan 15 14:01:26 2015 +0100
+++ b/Admin/components/main Thu Jan 15 16:26:23 2015 +0100
@@ -10,7 +10,7 @@
jortho-1.0-2
kodkodi-1.5.2
polyml-5.5.2-1
-scala-2.11.4
+scala-2.11.5
spass-3.8ds
z3-4.3.2pre-1
xz-java-1.2-1