Admin/components/main
changeset 55007 0c07990363a3
parent 54374 594628261376
child 55491 74db756853d4
     1.1 --- a/Admin/components/main	Mon Jan 13 18:47:48 2014 +0100
     1.2 +++ b/Admin/components/main	Mon Jan 13 20:20:44 2014 +0100
     1.3 @@ -10,5 +10,5 @@
     1.4  polyml-5.5.1-1
     1.5  scala-2.10.3
     1.6  spass-3.8ds
     1.7 -z3-3.2
     1.8 +z3-3.2-1
     1.9  xz-java-1.2-1