Admin/components/main
changeset 55491 74db756853d4
parent 55007 0c07990363a3
child 56110 9c1a6dff3e86
equal deleted inserted replaced
55490:9b0fb0e2c9f5 55491:74db756853d4
    10 polyml-5.5.1-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-1
    13 z3-3.2-1
    14 xz-java-1.2-1
    14 xz-java-1.2-1
       
    15 ProofGeneral-4.2-1