Admin/components/main
changeset 53626 da1c7b50fdfe
parent 53576 793a429c63e7
child 53686 432edb1a2469
equal deleted inserted replaced
53625:a49ce8d72a44 53626:da1c7b50fdfe
     1 #main components for everyday use, without big impact on overall build time
     1 #main components for everyday use, without big impact on overall build time
     2 cvc3-2.4.1
     2 cvc3-2.4.1
     3 e-1.8
     3 e-1.8
     4 exec_process-1.0.3
     4 exec_process-1.0.3
     5 Haskabelle-2013
     5 Haskabelle-2013
     6 jdk-7u25
     6 jdk-7u40
     7 jedit_build-20130910
     7 jedit_build-20130910
     8 jfreechart-1.0.14-1
     8 jfreechart-1.0.14-1
     9 kodkodi-1.5.2
     9 kodkodi-1.5.2
    10 polyml-5.5.0-3
    10 polyml-5.5.0-3
    11 scala-2.10.2
    11 scala-2.10.2