|
apps
|
gnome3.gnome-music: 3.28.2.1 → 3.30.2
|
2018-11-30 21:34:20 +01:00 |
|
core
|
gnome3.gnome-online-miners: 3.26.0 → 3.30.0
|
2018-11-30 21:34:20 +01:00 |
|
devtools
|
gnome3: remove versionBranch attribute
|
2018-10-05 02:17:19 +02:00 |
|
extensions
|
Merge branch 'master' into staging-next
|
2018-09-04 13:06:45 +02:00 |
|
games
|
gnome3.gnome-mines: 3.28.0 → 3.30.1.1
|
2018-11-30 21:34:19 +01:00 |
|
misc
|
gnome3.gnome-packagekit: clean up
|
2018-10-21 21:46:13 +02:00 |
|
default.nix
|
gnome3.gnome-notes: 3.28.3 → 3.30.3
|
2018-11-30 21:33:53 +01:00 |
|
update.nix
|
gnome3: add updateScript
|
2018-03-01 02:53:00 +01:00 |
