# HG changeset patch
# User wenzelm
# Date 1316352631 -7200
# Node ID 7704b2fb02cc92e39e1127e59f3c19ef0d60b575
# Parent  8104eec1bf94641b49d4cd80891ad20c1bd1c600
updated for release;

diff -r 8104eec1bf94 -r 7704b2fb02cc Admin/contributed_components
--- a/Admin/contributed_components	Sun Sep 18 15:30:21 2011 +0200
+++ b/Admin/contributed_components	Sun Sep 18 15:30:31 2011 +0200
@@ -1,9 +1,9 @@
 #contributed components
 contrib/cvc3-2.2
-contrib/e-1.2
+contrib/e-1.4
 contrib/kodkodi-1.2.16
 contrib/spass-3.7
 contrib/scala-2.8.1.final
 contrib/vampire-1.0
 contrib/yices-1.0.28
-contrib/z3-2.19
+contrib/z3-3.1