1.1 --- a/Admin/components/components.sha1	Thu Jun 26 21:25:41 2014 +0200
     1.2 +++ b/Admin/components/components.sha1	Thu Jun 26 22:01:40 2014 +0200
     1.3 @@ -95,5 +95,5 @@
     1.4  12ae71acde43bd7bed1e005c43034b208c0cba4c  z3-3.2.tar.gz
     1.5  d94a716502c8503d63952bcb4d4176fac8b28704  z3-4.0.tar.gz
     1.6  86e721296c400ada440e4a9ce11b9e845eec9e25  z3-4.3.0.tar.gz
     1.7 +a8917c31b31c182edeec0aaa48870844960c8a61  z3-4.3.2pre-1.tar.gz
     1.8  06b30757ff23aefbc30479785c212685ffd39f4d  z3-4.3.2pre.tar.gz
     1.9 -a8917c31b31c182edeec0aaa48870844960c8a61  z3-4.3.2pre-1.tar.gz