|
apps
|
gnome.gedit: 40.1 -> 41.0
|
2022-02-17 02:05:07 +01:00 |
|
core
|
yelp: Use webkit2gtk-4.0 ABI
|
2022-02-17 02:06:12 +01:00 |
|
devtools
|
gnome.devhelp: 40.1 → 41.1
|
2021-10-09 21:35:52 +02:00 |
|
extensions
|
gnomeExtensions.arcmenu: 20 -> 21
|
2022-02-11 20:52:05 +00:00 |
|
games
|
gnome.tali: 40.4 -> 40.5
|
2022-01-31 06:46:07 +00:00 |
|
misc
|
gnome.gpaste: 3.42.2 -> 3.42.5
|
2022-02-17 02:06:29 +01:00 |
|
default.nix
|
gnome: Drop old removed aliases
|
2022-01-13 03:55:59 +01:00 |
