| 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