Hi Ralf, On 21/12/2016 21:03, Ralf Treinen wrote: > how do you know that why will not be part of stretch ? > Why has been removed from testing since 2016-02-14 and why3 is now part of Stretch. I have assumed the former has been dropped in favor of the latter. Apologies if this is not the case. I'd be happy to restore the Recommends statements if that's useful for someone. Regards, -- Mehdi