Admin/components/main
changeset 74354 4f5e67b247e1
parent 74314 c645d973f881
child 74355 f77474665b2f
equal deleted inserted replaced
74353:783382bbd2b9 74354:4f5e67b247e1
    13 jedit-20210802
    13 jedit-20210802
    14 jfreechart-1.5.1
    14 jfreechart-1.5.1
    15 jortho-1.0-2
    15 jortho-1.0-2
    16 kodkodi-1.5.6-1
    16 kodkodi-1.5.6-1
    17 nunchaku-0.5
    17 nunchaku-0.5
    18 old_vampire-4.2.2
       
    19 opam-2.0.7
    18 opam-2.0.7
    20 polyml-5.8.2
    19 polyml-5.8.2
    21 postgresql-42.2.18
    20 postgresql-42.2.18
    22 scala-2.13.5
    21 scala-2.13.5
    23 smbc-0.4.1
    22 smbc-0.4.1