--- a/Admin/components/components.sha1 Sun May 17 23:09:03 2015 +0200
+++ b/Admin/components/components.sha1 Mon May 18 16:59:09 2015 +0200
@@ -27,6 +27,7 @@
ae7ee5becb26512f18c609e83b34612918bae5f0 exec_process-1.0.tar.gz
59a71e08c34ff01f3f5c4af00db5e16369527eb7 Haskabelle-2013.tar.gz
23a96ff4951d72f4024b6e8843262eda988bc151 Haskabelle-2014.tar.gz
+eccff31931fb128c1dd522cfc85495c9b66e67af Haskabelle-2015.tar.gz
683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz
8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz
38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz