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). | ||