Admin/components/main
changeset 50230 79773c44e57b
parent 49552 30fe027a18bd
child 50293 4eea6572896e
     1.1 --- a/Admin/components/main	Mon Nov 26 15:31:03 2012 +0100
     1.2 +++ b/Admin/components/main	Mon Nov 26 16:01:04 2012 +0100
     1.3 @@ -1,10 +1,10 @@
     1.4  #main components for everyday use, without big impact on overall build time
     1.5  cvc3-2.4.1
     1.6 -e-1.5
     1.7 +e-1.6
     1.8  exec_process-1.0.2
     1.9  jdk-7u6
    1.10  jedit_build-20120903
    1.11 -kodkodi-1.2.16
    1.12 +kodkodi-1.5.2
    1.13  polyml-5.5.0
    1.14  scala-2.9.2
    1.15  spass-3.8ds