apps
|
gnome3.polari: 3.36.3 -> 3.38.0
|
2020-10-24 01:15:01 +02:00 |
core
|
gnome3.gnome-backgrounds: 3.36.0 -> 3.38.0
|
2020-10-24 01:15:01 +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
|
gnome3.geary: 3.36.2 -> 3.38.0.1
|
2020-10-24 01:14:58 +02:00 |
default.nix
|
glade: rename from gnome3.glade
|
2020-05-15 19:21:12 +02:00 |