# HG changeset patch # User noschinl # Date 1407130287 -7200 # Node ID 0ecc524797dcf92113bba894c41c6fb7da9a9440 # Parent 33b7372e87adc3e382efe40a6394eaa760303b49 registered Haskabelle-2014 diff -r 33b7372e87ad -r 0ecc524797dc Admin/components/components.sha1 --- a/Admin/components/components.sha1 Fri Aug 01 13:59:34 2014 +0200 +++ b/Admin/components/components.sha1 Mon Aug 04 07:31:27 2014 +0200 @@ -19,6 +19,7 @@ e6aada354da11e533af2dee3dcdd96c06479b053 exec_process-1.0.3.tar.gz ae7ee5becb26512f18c609e83b34612918bae5f0 exec_process-1.0.tar.gz 59a71e08c34ff01f3f5c4af00db5e16369527eb7 Haskabelle-2013.tar.gz +23a96ff4951d72f4024b6e8843262eda988bc151 Haskabelle-2014.tar.gz 683acd94761ef460cca1a628f650355370de5afb hol-light-bundle-0.5-126.tar.gz 8d83e433c1419e0c0cc5fd1762903d11b4a5752c jdk-6u31.tar.gz 38d2d2a91c66714c18430e136e7e5191af3996e6 jdk-7u11.tar.gz diff -r 33b7372e87ad -r 0ecc524797dc Admin/components/main --- a/Admin/components/main Fri Aug 01 13:59:34 2014 +0200 +++ b/Admin/components/main Mon Aug 04 07:31:27 2014 +0200 @@ -2,7 +2,7 @@ cvc3-2.4.1 e-1.8 exec_process-1.0.3 -Haskabelle-2013 +Haskabelle-2014 jdk-7u65 jedit_build-20140722 jfreechart-1.0.14-1