Jan Tojnar 468cb5980b gnome: rename from gnome3 ... Since GNOME version is now 40, it no longer makes sense to use the old attribute name.		2021-05-08 09:47:42 +02:00
..
default.nix	gnome: rename from gnome3	2021-05-08 09:47:42 +02:00
fix-docs.patch	tracker: 3.0.3 → 3.1.1	2021-05-05 22:42:15 +02:00
fix-paths.patch