Admin/components/main
changeset 53014 2b5580da3874
parent 52471 ff0e0bb81597
child 53415 9ebab8b7d73c
     1.1 --- a/Admin/components/main	Tue Aug 13 15:59:22 2013 +0200
     1.2 +++ b/Admin/components/main	Tue Aug 13 16:53:23 2013 +0200
     1.3 @@ -1,6 +1,6 @@
     1.4  #main components for everyday use, without big impact on overall build time
     1.5  cvc3-2.4.1
     1.6 -e-1.6-2
     1.7 +e-1.8
     1.8  exec_process-1.0.3
     1.9  Haskabelle-2013
    1.10  jdk-7u21