apps
|
gnome3.glade: 3.20.0 → 3.20.2
|
2017-12-04 02:07:52 +01:00 |
core
|
gnome3.rest: 0.8.0 → 0.8.1
|
2017-12-04 02:07:58 +01:00 |
devtools
|
gnome3: 3.24 -> 3.26
|
2017-11-26 03:10:47 +01:00 |
extensions
|
gnomeExtensions.topicons-plus: 20 -> 21
|
2017-11-26 03:10:56 +01:00 |
games
|
gnome3.hitori: 3.22.0 → 3.22.2
|
2017-12-04 02:07:55 +01:00 |
misc
|
gnome3.libmediaart: 1.9.1 → 1.9.4
|
2017-12-04 02:07:58 +01:00 |
default.nix
|
gnome3: add jtojnar as maintainer
|
2017-11-29 11:46:36 +01:00 |