apps
|
gnome3.gnome-characters: 3.32.1 -> 3.34.0
|
2020-02-28 14:59:37 +00:00 |
core
|
gnome3.gnome-desktop: 3.34.2 -> 3.34.4
|
2020-02-19 21:28:08 -05:00 |
devtools
|
gjs: move to top-level
|
2019-11-05 00:47:04 +01:00 |
games
|
gnome3.iagno: 3.34.4 -> 3.34.5
|
2020-02-18 07:23:10 -05:00 |
misc
|
gnome3.geary: 3.34.1 -> 3.34.2
|
2020-02-18 07:19:10 -05:00 |
default.nix
|
networkmanagerapplet: default to withGnome
|
2019-12-13 18:23:20 -05:00 |
update.nix
|
gnome3.updateScript: clean up PATH
|
2019-06-02 09:44:13 +02:00 |