On Tue, 4 Jun 2024 11:24:28 +0200, Till Wegmüller wrote: > Hi Goetz > > No that can happen if somehow your local userland-incorporation is out > of date becasue it could not update some packages. it updated fine. my local pkg update was fine. what was out of date is the repo website.