equal
deleted
inserted
replaced
7 jdk-8u144 |
7 jdk-8u144 |
8 jedit_build-20170319 |
8 jedit_build-20170319 |
9 jfreechart-1.0.14-1 |
9 jfreechart-1.0.14-1 |
10 jortho-1.0-2 |
10 jortho-1.0-2 |
11 kodkodi-1.5.2 |
11 kodkodi-1.5.2 |
12 nunchaku-0.3 |
12 nunchaku-0.5 |
13 polyml-5.6-1 |
13 polyml-5.6-1 |
14 postgresql-42.1.4 |
14 postgresql-42.1.4 |
15 scala-2.12.3 |
15 scala-2.12.3 |
|
16 smbc-0.4.1 |
16 ssh-java-20161009 |
17 ssh-java-20161009 |
17 spass-3.8ds |
18 spass-3.8ds |
18 sqlite-jdbc-3.20.0 |
19 sqlite-jdbc-3.20.0 |
19 xz-java-1.6 |
20 xz-java-1.6 |
20 z3-4.4.0pre |
21 z3-4.4.0pre |