Admin/components/main
changeset 50230 79773c44e57b
parent 49552 30fe027a18bd
child 50293 4eea6572896e
--- 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