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