# HG changeset patch
# User blanchet
# Date 1394722481 -3600
# Node ID 9c1a6dff3e86a94772f7b8bb210f7df5bccc362d
# Parent  1ba56358eba457c3af912793aa333b9731596d4b
added Z3 4.3.0 as component (for use with 'smt2' method)

diff -r 1ba56358eba4 -r 9c1a6dff3e86 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Mar 13 14:55:38 2014 +0100
+++ b/Admin/components/components.sha1	Thu Mar 13 15:54:41 2014 +0100
@@ -80,3 +80,4 @@
 3a8f77822278fe9250890e357248bc678d8fac95  z3-3.2-1.tar.gz
 12ae71acde43bd7bed1e005c43034b208c0cba4c  z3-3.2.tar.gz
 d94a716502c8503d63952bcb4d4176fac8b28704  z3-4.0.tar.gz
+86e721296c400ada440e4a9ce11b9e845eec9e25  z3-4.3.0.tar.gz
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