On Thu, Dec 22, 2016 at 12:06:15AM +0100, Mehdi Dogguy wrote: > 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.
Recommends is probably too strong, Suggests would be more appropriate IMHO (I don't think that justifies a new upload of frama-c now). -Ralf.
