Admin/components/main
changeset 48847 06e8cb8f3f61
parent 48843 9055bf115e30
child 49000 0cebcbeac4c7
equal deleted inserted replaced
48846:fd3cba82c446 48847:06e8cb8f3f61
       
     1 #main components for everyday use, without big impact on overall build time
     1 cvc3-2.4.1
     2 cvc3-2.4.1
     2 e-1.5
     3 e-1.5
     3 jdk-7u6
     4 jdk-7u6
     4 jedit_build-20120813
     5 jedit_build-20120813
     5 kodkodi-1.2.16
     6 kodkodi-1.2.16