equal
deleted
inserted
replaced
5 jdk-7u9 |
5 jdk-7u9 |
6 jedit_build-20130104 |
6 jedit_build-20130104 |
7 jfreechart-1.0.14 |
7 jfreechart-1.0.14 |
8 kodkodi-1.5.2 |
8 kodkodi-1.5.2 |
9 polyml-5.5.0 |
9 polyml-5.5.0 |
10 scala-2.9.2 |
10 scala-2.10.0 |
11 spass-3.8ds |
11 spass-3.8ds |
12 z3-3.2 |
12 z3-3.2 |