apps
|
gnome-text-editor: 42.beta1 → 42.rc1
|
2022-03-25 15:02:37 +01:00 |
core
|
gnome.mutter: 42.beta → 42.0
|
2022-03-25 15:02:36 +01:00 |
devtools
|
gnome.devhelp: 40.1 → 41.1
|
2021-10-09 21:35:52 +02:00 |
extensions
|
gnomeExtensions: add GNOME 42 extensions
|
2022-03-20 17:59:37 +01:00 |
games
|
gnome.gnome-chess: 41.1 → 42.alpha
|
2022-03-25 15:01:24 +01:00 |
misc
|
gnome.metacity: 3.42.0 → 3.43.1
|
2022-03-25 15:02:36 +01:00 |
default.nix
|
gnome-desktop: Move into top-level
|
2022-03-25 15:01:21 +01:00 |