Admin/components/main
changeset 56726 9fba10c97aef
parent 56660 5d629da46f04
child 56936 6dd8866eca69
     1.1 --- a/Admin/components/main	Fri Apr 25 22:13:17 2014 +0200
     1.2 +++ b/Admin/components/main	Fri Apr 25 22:13:17 2014 +0200
     1.3 @@ -12,6 +12,6 @@
     1.4  scala-2.11.0
     1.5  spass-3.8ds
     1.6  z3-3.2-1
     1.7 -z3-4.3.0
     1.8 +z3-4.3.2pre
     1.9  xz-java-1.2-1
    1.10  ProofGeneral-4.2-1