|
apps
|
gnome3.gnome-music: 3.34.1 -> 3.34.2
|
2019-12-23 04:50:56 -08:00 |
|
core
|
gnome3.gnome-software: 3.34.1 -> 3.34.2
|
2019-12-23 05:05:24 -08:00 |
|
devtools
|
gjs: move to top-level
|
2019-11-05 00:47:04 +01:00 |
|
extensions
|
gnomeExtensions.workspace-grid: Remove
|
2019-12-08 13:53:18 -08:00 |
|
games
|
gnome3.iagno: 3.34.2 -> 3.34.3 (#74402)
|
2019-11-28 02:43:41 +01:00 |
|
misc
|
gnome3.gnome-autoar: 0.2.3 -> 0.2.4
|
2019-12-23 06:38:52 -08: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 |
