3 Feb 2019 3 Feb '19
It looks to me like package gnome-desktop will add the required file to /usr/lib/girepository-1.0.
That worked! I guess this should then be added as a dependency of the package.
Copying the list so the resolution is known and is archived.
-- Cheers, Ralph.