Hi, Can anyone tell me why 'yosys' is marked for autoremoval from testing because of a bug which has already been fixed? See here: https://tracker.debian.org/pkg/yosys The bug #835678 was fixed in (and is marked as such) in 0.6-7 which is currently in testing. Have I been able to hit some kind of buggy corner case in the packaging infrastructure or am I missing something? Best regards, Ruben