This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| linux:fedora_37 [2022/12/08 11:32] – jansen | linux:fedora_37 [2022/12/09 12:48] (current) – jansen | ||
|---|---|---|---|
| Line 17: | Line 17: | ||
| - | ==== New in F35, or in our Fedora setup: ==== | + | ==== New in F37, or in our Fedora setup: ==== |
| * Gnome 43 (see below for details) | * Gnome 43 (see below for details) | ||
| * Note: Gnome versions used to be 3.38 etc, now the '' | * Note: Gnome versions used to be 3.38 etc, now the '' | ||
| Line 44: | Line 44: | ||
| * A workaround for (ancient) '' | * A workaround for (ancient) '' | ||
| * TeX package '' | * TeX package '' | ||
| - | * Several media players that had not seen updates for a long time, have become incompatible with new versions of some of the support tools and libraries. We have removed: '' | ||
| * Java is now available in several versions: The last freely obtainable Oracle Java 8.x release; OpenJDK 8, OpenJDK 11, OpenJDK 17 and OpenJDK latest (currently 19). | * Java is now available in several versions: The last freely obtainable Oracle Java 8.x release; OpenJDK 8, OpenJDK 11, OpenJDK 17 and OpenJDK latest (currently 19). | ||