Admin/components/main
changeset 54374 594628261376
parent 54371 52ed202464a5
child 55007 0c07990363a3
equal deleted inserted replaced
54373:232cf1e475da 54374:594628261376
     5 Haskabelle-2013
     5 Haskabelle-2013
     6 jdk-7u40
     6 jdk-7u40
     7 jedit_build-20131106
     7 jedit_build-20131106
     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.1
    10 polyml-5.5.1-1
    11 scala-2.10.3
    11 scala-2.10.3
    12 spass-3.8ds
    12 spass-3.8ds
    13 z3-3.2
    13 z3-3.2
    14 xz-java-1.2-1
    14 xz-java-1.2-1