Admin/components/main
changeset 65329 4f3da52cec02
parent 65046 18f3d341f8c0
child 65872 8f77f6735b51
equal deleted inserted replaced
65328:2510b0ce28da 65329:4f3da52cec02
     3 csdp-6.x
     3 csdp-6.x
     4 cvc4-1.5pre-4
     4 cvc4-1.5pre-4
     5 e-1.8
     5 e-1.8
     6 isabelle_fonts-20160830
     6 isabelle_fonts-20160830
     7 jdk-8u121
     7 jdk-8u121
     8 jedit_build-20161024
     8 jedit_build-20170319
     9 jfreechart-1.0.14-1
     9 jfreechart-1.0.14-1
    10 jortho-1.0-2
    10 jortho-1.0-2
    11 kodkodi-1.5.2
    11 kodkodi-1.5.2
    12 nunchaku-0.3
    12 nunchaku-0.3
    13 polyml-5.6-1
    13 polyml-5.6-1