apps
|
gnome-boxes: 3.36.5 -> 3.36.6
|
2020-08-10 14:07:22 +02:00 |
core
|
gnome3.gnome-desktop: 3.36.4 -> 3.36.5
|
2020-08-14 12:30:19 +02:00 |
devtools
|
gnome3.devhelp: 3.36.1 -> 3.36.2
|
2020-05-03 17:42:31 +02:00 |
extensions
|
gnomeExtensions.gsconnect: 38 -> 39
|
2020-07-31 10:46:50 +02:00 |
games
|
gnome-mines: 3.36.0 -> 3.36.1
|
2020-08-10 11:38:50 +02:00 |
misc
|
gnome-panel: 3.36.1 -> 3.36.2
|
2020-08-10 13:56:07 +02:00 |
default.nix
|
glade: rename from gnome3.glade
|
2020-05-15 19:21:12 +02:00 |