Admin/components/main
changeset 53576 793a429c63e7
parent 53522 c5d2ef007d81
child 53626 da1c7b50fdfe
--- a/Admin/components/main	Wed Sep 11 23:32:47 2013 +0200
+++ b/Admin/components/main	Thu Sep 12 13:23:54 2013 +0200
@@ -5,10 +5,10 @@
 Haskabelle-2013
 jdk-7u25
 jedit_build-20130910
-jfreechart-1.0.14
+jfreechart-1.0.14-1
 kodkodi-1.5.2
 polyml-5.5.0-3
 scala-2.10.2
 spass-3.8ds
 z3-3.2
-xz-java-1.2
+xz-java-1.2-1