apps
|
gnome3.gnome-music: 3.28.1 → 3.28.2
|
2018-05-08 02:36:10 +02:00 |
core
|
gnome3.gnome-shell: 3.28.0 → 3.28.1
|
2018-05-08 03:31:56 +02:00 |
devtools
|
gnome3: 3.28.0 → 3.28.1
|
2018-04-14 13:35:45 +02:00 |
extensions
|
gnomeExtensions.dash-to-dock: 62 → 63
|
2018-04-03 18:13:25 +02:00 |
games
|
gnome3: 3.28.0 → 3.28.1
|
2018-04-14 13:35:45 +02:00 |
misc
|
geary: 0.12.1 → 0.12.2
|
2018-04-24 13:30:57 +02:00 |
default.nix
|
rarian: merge gnome{2,3}.rarian
|
2018-04-25 15:53:26 +02:00 |
update.nix
|
gnome3: add updateScript
|
2018-03-01 02:53:00 +01:00 |