|
apps
|
gnome3: 3.28.0 → 3.28.1
|
2018-04-14 13:35:45 +02:00 |
|
core
|
gnome3.gjs: 1.52.1 → 1.52.2
|
2018-04-24 18:22:42 +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 |
