apps
|
gnome3.gnome-music: 3.36.3 -> 3.36.4.1
|
2020-07-10 00:57:01 +02:00 |
core
|
gnome3.eog: 3.36.2 -> 3.36.3
|
2020-07-09 04:52:33 +02:00 |
devtools
|
gnome3.devhelp: 3.36.1 -> 3.36.2
|
2020-05-03 17:42:31 +02:00 |
extensions
|
gnomeExtensions.gsconnect: 35 -> 38
|
2020-06-07 12:38:16 +02:00 |
games
|
gnome3.gnome-tetravex: 3.36.3 -> 3.36.4
|
2020-07-10 00:36:13 +02:00 |
misc
|
gnome3.gnome-applets: 3.36.3 -> 3.36.4
|
2020-06-09 21:16:24 +00:00 |
default.nix
|
glade: rename from gnome3.glade
|
2020-05-15 19:21:12 +02:00 |