apps
|
gnome3.gnome-clocks: 3.36.2 -> 3.38.0
|
2020-10-24 01:14:25 +02:00 |
core
|
gnome3.yelp: 3.36.0 -> 3.38.0
|
2020-10-24 01:14:48 +02:00 |
devtools
|
gnome3.devhelp: 3.36.1 -> 3.36.2
|
2020-05-03 17:42:31 +02:00 |
extensions
|
material-shell: 7 -> 8 (#101427)
|
2020-10-23 18:47:45 -04:00 |
games
|
gnome3.iagno: fix build
|
2020-10-23 06:48:08 +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 |