--- a/Admin/component_repository/components.sha1 Mon Nov 26 15:31:03 2012 +0100
+++ b/Admin/component_repository/components.sha1 Mon Nov 26 16:01:04 2012 +0100
@@ -1,5 +1,6 @@
2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7 cvc3-2.4.1.tar.gz
0fe549949a025d65d52d6deca30554de8fca3b6e e-1.5.tar.gz
+b98a98025d1f7e560ca6864a53296137dae736b4 e-1.6.tar.gz
6d34b18ca0aa1e10bab6413045d079188c0e2dfb exec_process-1.0.1.tar.gz
8b9bffd10e396d965e815418295f2ee2849bea75 exec_process-1.0.2.tar.gz
ae7ee5becb26512f18c609e83b34612918bae5f0 exec_process-1.0.tar.gz
@@ -15,6 +16,7 @@
7b012f725ec1cc102dc259df178d511cc7890bba jedit_build-20120813.tar.gz
8e1d36f5071e3def2cb281f7fefe9f52352cb88f jedit_build-20120903.tar.gz
6c737137cc597fc920943783382e928ea79e3feb kodkodi-1.2.16.tar.gz
+5f95c96bb99927f3a026050f85bd056f37a9189e kodkodi-1.5.2.tar.gz
1c8cb6a8f4cbeaedce2d6d1ba8fc7e2ab3663aeb polyml-5.4.1.tar.gz
1812e9fa6d163f63edb93e37d1217640a166cf3e polyml-5.5.0.tar.gz
8ee375cfc38972f080dbc78f07b68dac03efe968 ProofGeneral-3.7.1.1.tar.gz
--- a/Admin/components/main Mon Nov 26 15:31:03 2012 +0100
+++ b/Admin/components/main Mon Nov 26 16:01:04 2012 +0100
@@ -1,10 +1,10 @@
#main components for everyday use, without big impact on overall build time
cvc3-2.4.1
-e-1.5
+e-1.6
exec_process-1.0.2
jdk-7u6
jedit_build-20120903
-kodkodi-1.2.16
+kodkodi-1.5.2
polyml-5.5.0
scala-2.9.2
spass-3.8ds