# HG changeset patch
# User wenzelm
# Date 1345218730 -7200
# Node ID 9055bf115e30423a55fc22c526c4a92cef4b3b2e
# Parent  ac976e51cb678e8c9148a9f663376c376c59f80e
some grouping of components;

diff -r ac976e51cb67 -r 9055bf115e30 Admin/components/main
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/components/main	Fri Aug 17 17:52:10 2012 +0200
@@ -0,0 +1,8 @@
+cvc3-2.4.1
+e-1.5
+jdk-7u6
+jedit_build-20120813
+kodkodi-1.2.16
+scala-2.9.2
+spass-3.8ds
+z3-4.0
diff -r ac976e51cb67 -r 9055bf115e30 Admin/components/nonfree
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/components/nonfree	Fri Aug 17 17:52:10 2012 +0200
@@ -0,0 +1,2 @@
+vampire-1.0
+yices-1.0.28
diff -r ac976e51cb67 -r 9055bf115e30 Admin/components/optional
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/components/optional	Fri Aug 17 17:52:10 2012 +0200
@@ -0,0 +1,1 @@
+hol-light-bundle-0.5-126