|
apps
|
gnome-boxes: 3.36.5 -> 3.36.6
|
2020-08-10 14:07:22 +02:00 |
|
core
|
epiphany: 3.36.3 -> 3.36.4
|
2020-08-10 01:55:19 +02:00 |
|
devtools
|
gnome3.devhelp: 3.36.1 -> 3.36.2
|
2020-05-03 17:42:31 +02:00 |
|
extensions
|
gnomeExtensions.gsconnect: 38 -> 39
|
2020-07-31 10:46:50 +02:00 |
|
games
|
gnome-mines: 3.36.0 -> 3.36.1
|
2020-08-10 11:38:50 +02:00 |
|
misc
|
gnome-panel: 3.36.1 -> 3.36.2
|
2020-08-10 13:56:07 +02:00 |
|
default.nix
|
glade: rename from gnome3.glade
|
2020-05-15 19:21:12 +02:00 |
