apps
|
gnome3.glade: 3.20.0 → 3.20.2
|
2017-12-04 02:07:52 +01:00 |
core
|
gnome3.mutter: clean up
|
2017-12-17 01:45:22 +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
|
Merge pull request #32267 from jtojnar/gnome-updates
|
2017-12-07 22:29:55 +00:00 |
default.nix
|
gnome3: add jtojnar as maintainer
|
2017-11-29 11:46:36 +01:00 |