Admin/components/main
changeset 67424 0b691782d6e5
parent 67305 ecb74607063f
child 67491 59527ee2d6da
equal deleted inserted replaced
67423:8bec22c6b0fb 67424:0b691782d6e5
     2 bash_process-1.2.2
     2 bash_process-1.2.2
     3 bib2xhtml-20171221
     3 bib2xhtml-20171221
     4 csdp-6.x
     4 csdp-6.x
     5 cvc4-1.5-3
     5 cvc4-1.5-3
     6 e-2.0-1
     6 e-2.0-1
     7 isabelle_fonts-20171230
     7 isabelle_fonts-20180113
     8 jdk-8u152
     8 jdk-8u152
     9 jedit_build-20170319
     9 jedit_build-20170319
    10 jfreechart-1.0.14-1
    10 jfreechart-1.0.14-1
    11 jortho-1.0-2
    11 jortho-1.0-2
    12 kodkodi-1.5.2
    12 kodkodi-1.5.2