|
apps
|
gnome3.gnome-maps: 3.34.2 -> 3.34.3 (#77097)
|
2020-01-07 12:06:36 +01:00 |
|
core
|
gnome3.mutter: 3.34.2 -> 3.34.3
|
2020-01-07 15:29:51 +01:00 |
|
devtools
|
gjs: move to top-level
|
2019-11-05 00:47:04 +01:00 |
|
extensions
|
gnomeExtensions.gsconnect: 27 -> 30 (#76633)
|
2019-12-30 01:55:14 +01:00 |
|
games
|
gnome3.gnome-robots: 3.34.0 -> 3.34.1 (#77095)
|
2020-01-07 12:21:22 +01:00 |
|
default.nix
|
networkmanagerapplet: default to withGnome
|
2019-12-13 18:23:20 -05:00 |
