equal
deleted
inserted
replaced
7 e-3.2 |
7 e-3.2 |
8 elm-0.19.1 |
8 elm-0.19.1 |
9 easychair-3.5 |
9 easychair-3.5 |
10 eptcs-1.7.0 |
10 eptcs-1.7.0 |
11 find_facts_web-20250223 |
11 find_facts_web-20250223 |
12 flatlaf-3.6 |
12 flatlaf-3.6-1 |
13 foiltex-2.1.4b |
13 foiltex-2.1.4b |
14 idea-icons-20210508 |
14 idea-icons-20210508 |
15 isabelle_fonts-20241227 |
15 isabelle_fonts-20241227 |
16 isabelle_setup-20240327 |
16 isabelle_setup-20240327 |
17 javamail-20250122 |
17 javamail-20250122 |
18 jdk-21.0.6 |
18 jdk-21.0.6 |
19 jedit-20250404 |
19 jedit-20250415 |
20 jfreechart-1.5.3 |
20 jfreechart-1.5.3 |
21 jortho-1.0-2 |
21 jortho-1.0-2 |
22 jsoup-1.18.3 |
22 jsoup-1.18.3 |
|
23 jsvg-1.7.1 |
23 kodkodi-1.5.7 |
24 kodkodi-1.5.7 |
24 lipics-3.1.3 |
25 lipics-3.1.3 |
25 llncs-2.25 |
26 llncs-2.25 |
26 minisat-2.2.1-1 |
27 minisat-2.2.1-1 |
27 mlton-20241230-1 |
28 mlton-20241230-1 |