Admin/components/main
changeset 62295 4f2fb9adfae5
parent 62281 707f9b182f4f
child 62301 028e5b1ef9f9
equal deleted inserted replaced
62294:30e9ff9be90a 62295:4f2fb9adfae5
     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 bash_process-1.1
     2 csdp-6.x
     3 csdp-6.x
     3 cvc4-1.5pre-3
     4 cvc4-1.5pre-3
     4 e-1.8
     5 e-1.8
     5 exec_process-1.0.3
       
     6 Haskabelle-2015
     6 Haskabelle-2015
     7 isabelle_fonts-20160102
     7 isabelle_fonts-20160102
     8 jdk-8u72
     8 jdk-8u72
     9 jedit_build-20151124
     9 jedit_build-20151124
    10 jfreechart-1.0.14-1
    10 jfreechart-1.0.14-1