[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable



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.


Reply to: