1.1 --- a/Admin/components/components.sha1	Thu Jul 24 15:01:17 2014 +0200
     1.2 +++ b/Admin/components/components.sha1	Thu Jul 24 15:13:37 2014 +0200
     1.3 @@ -79,6 +79,7 @@
     1.4  d4688ddaf83037ca43b5bf271325fc53ae70e3aa  scala-2.10.4.tar.gz
     1.5  44d12297a78988ffd34363535e6a8e0d94c1d8b5  scala-2.11.0.tar.gz
     1.6  14f20de82b25215a5e055631fb147356400625e6  scala-2.11.1.tar.gz
     1.7 +4fe9590d08e55760b86755d3fab750e90ac6c380  scala-2.11.2.tar.gz
     1.8  b447017e81600cc5e30dd61b5d4962f6da01aa80  scala-2.8.1.final.tar.gz
     1.9  5659440f6b86db29f0c9c0de7249b7e24a647126  scala-2.9.2.tar.gz
    1.10  43b5afbcad575ab6817d2289756ca22fd2ef43a9  spass-3.8ds.tar.gz

     2.1 --- a/Admin/components/main	Thu Jul 24 15:01:17 2014 +0200
     2.2 +++ b/Admin/components/main	Thu Jul 24 15:13:37 2014 +0200
     2.3 @@ -9,7 +9,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2
     2.6  polyml-5.5.2
     2.7 -scala-2.11.1
     2.8 +scala-2.11.2
     2.9  spass-3.8ds
    2.10  z3-3.2-1
    2.11  z3-4.3.2pre-1