On 27/05/2022 10.59, Paul Gevers wrote:
My guess is that apt pinning comes into play here, installingThat aligns with my suspicion that it's related to the mixing of unstable and testing.
Uploaded a first attempt on the fix. Works for me, let's see how ci.d.o likes it. There are probably still corner cases to be handled ...
Andreas