apps
|
gnome3.gnome-getting-started-docs: 3.28.2 → 3.30.0
|
2018-11-30 21:34:45 +01:00 |
core
|
gnome3.eog: 3.28.3 → 3.28.4
|
2018-11-30 21:35:19 +01:00 |
devtools
|
gnome3.gnome-devel-docs: 3.28.0 → 3.30.2
|
2018-11-30 21:35:01 +01:00 |
extensions
|
gnomeExtensions.system-monitor: 33 -> 36
|
2018-11-30 21:35:13 +01:00 |
games
|
gnome3.atomix: 3.29.3 → 3.30.0.1
|
2018-11-30 21:34:45 +01:00 |
misc
|
gnome3.libgda: 5.2.4 → 5.2.5
|
2018-11-30 21:35:20 +01:00 |
default.nix
|
gnome3.mutter328: init
|
2018-11-30 21:35:15 +01:00 |
update.nix
|
gnome3: add updateScript
|
2018-03-01 02:53:00 +01:00 |