# HG changeset patch
# User blanchet
# Date 1408433817 -7200
# Node ID 08aa1e2cbec0fee020f2474f2e03bc198af53bff
# Parent  68b283f9f8266d5031f0e329df565968f1d31f1b
removed Z3 3.2, now superseded by Z3 4.3

diff -r 68b283f9f826 -r 08aa1e2cbec0 Admin/components/main
--- a/Admin/components/main	Tue Aug 19 09:36:37 2014 +0200
+++ b/Admin/components/main	Tue Aug 19 09:36:57 2014 +0200
@@ -11,6 +11,5 @@
 polyml-5.5.2-1
 scala-2.11.2
 spass-3.8ds
-z3-3.2-1
 z3-4.3.2pre-1
 xz-java-1.2-1