# HG changeset patch
# User blanchet
# Date 1353942064 -3600
# Node ID 79773c44e57be020f5f111eb10439081257d1406
# Parent  78f3be5e51d2ff1a3888811163b6e41fc0f4c4d4
updated two components

diff -r 78f3be5e51d2 -r 79773c44e57b Admin/component_repository/components.sha1
--- 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
diff -r 78f3be5e51d2 -r 79773c44e57b Admin/components/main
--- 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