diff -r 1ba56358eba4 -r 9c1a6dff3e86 Admin/components/main
--- a/Admin/components/main	Thu Mar 13 14:55:38 2014 +0100
+++ b/Admin/components/main	Thu Mar 13 15:54:41 2014 +0100
@@ -11,5 +11,6 @@
 scala-2.10.3
 spass-3.8ds
 z3-3.2-1
+z3-4.3.0
 xz-java-1.2-1
-ProofGeneral-4.2-1
\ No newline at end of file
+ProofGeneral-4.2-1