Hi Alexander On 29.03.20 16:12, Alexander Pyhalov via oi-dev wrote: > documentation/gnome/gnome-user-docs 2.32.0-2018.0.0.0 i-- Apart from this one all packages are from 2013. Are they even installable? My guess is the incorporations would block them from being installed at all. Looks like a leftover from an older build system. Greetings Till