# HG changeset patch
# User blanchet
# Date 1423662487 -3600
# Node ID dd9a5c7663cbfe1b7993594b2c14819f35d76213
# Parent  49ca7836ae818bd52d7b023c3736310af03b42f1
added CVC4 component (and took out CVC3 from main components)

diff -r 49ca7836ae81 -r dd9a5c7663cb Admin/components/components.sha1
--- a/Admin/components/components.sha1	Wed Feb 11 14:48:06 2015 +0100
+++ b/Admin/components/components.sha1	Wed Feb 11 14:48:07 2015 +0100
@@ -1,5 +1,6 @@
 70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
+03aec2ec5757301c9df149f115d1f4f1d2cafd9e  cvc4-1.5pre.tar.gz
 842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
 3b44cca04855016d5f8cfb5101b2e0579ab80197  cygwin-20130117.tar.gz
diff -r 49ca7836ae81 -r dd9a5c7663cb Admin/components/main
--- a/Admin/components/main	Wed Feb 11 14:48:06 2015 +0100
+++ b/Admin/components/main	Wed Feb 11 14:48:07 2015 +0100
@@ -1,6 +1,6 @@
 #main components for everyday use, without big impact on overall build time
-cvc3-2.4.1
 csdp-6.x
+cvc4-1.5pre
 e-1.8
 exec_process-1.0.3
 Haskabelle-2014