|
apps
|
gnome3.gnome-notes: 3.36.1 -> 3.36.2
|
2020-07-10 05:28:38 +02:00 |
|
core
|
gnome3.gnome-initial-setup: 3.36.3 -> 3.36.4
|
2020-07-13 03:31:25 +02:00 |
|
devtools
|
gnome3.devhelp: 3.36.1 -> 3.36.2
|
2020-05-03 17:42:31 +02:00 |
|
extensions
|
gnomeExtensions.dash-to-panel: 31 -> 38
|
2020-07-11 13:45:02 +01:00 |
|
games
|
gnome3.gnome-taquin: 3.36.3 -> 3.36.4
|
2020-07-13 03:31:09 +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 |
