apps
|
gnome3.glade: 3.20.0 → 3.20.2
|
2017-12-04 02:07:52 +01:00 |
core
|
gnome3.tracker: 2.0.1 → 2.0.2
|
2017-12-04 02:07:51 +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: move src to a separate file
|
2017-11-26 03:10:52 +01:00 |
misc
|
gnome3.gnome-video-effects: 0.4.1 → 0.4.3
|
2017-12-02 20:34:29 +01:00 |
default.nix
|
gnome3: add jtojnar as maintainer
|
2017-11-29 11:46:36 +01:00 |