equal
deleted
inserted
replaced
9 kodkodi-1.5.2 |
9 kodkodi-1.5.2 |
10 polyml-5.5.1-1 |
10 polyml-5.5.1-1 |
11 scala-2.10.3 |
11 scala-2.10.3 |
12 spass-3.8ds |
12 spass-3.8ds |
13 z3-3.2-1 |
13 z3-3.2-1 |
|
14 z3-4.3.0 |
14 xz-java-1.2-1 |
15 xz-java-1.2-1 |
15 ProofGeneral-4.2-1 |
16 ProofGeneral-4.2-1 |