# HG changeset patch
# User wenzelm
# Date 1411398438 -7200
# Node ID 00bf84d3f5268f04e50f3629bcac721113192e3f
# Parent  593917a7ad020aa5ed3a26a7924aff03fa8e1436
added csdp-6.x for proof method (sos csdp);

diff -r 593917a7ad02 -r 00bf84d3f526 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Sep 22 16:28:24 2014 +0200
+++ b/Admin/components/components.sha1	Mon Sep 22 17:07:18 2014 +0200
@@ -1,3 +1,4 @@
+70105fd6fbfd1a868383fc510772b95234325d31  csdp-6.x.tar.gz
 2f6417b8e96a0e4e8354fe0f1a253c18fb55d9a7  cvc3-2.4.1.tar.gz
 842d9526f37b928cf9e22f141884365129990d63  cygwin-20130110.tar.gz
 cb3b0706d208f104b800267697204f6d82f7b48a  cygwin-20130114.tar.gz
diff -r 593917a7ad02 -r 00bf84d3f526 Admin/components/main
--- a/Admin/components/main	Mon Sep 22 16:28:24 2014 +0200
+++ b/Admin/components/main	Mon Sep 22 17:07:18 2014 +0200
@@ -1,5 +1,6 @@
 #main components for everyday use, without big impact on overall build time
 cvc3-2.4.1
+csdp-6.x
 e-1.8
 exec_process-1.0.3
 Haskabelle-2014