Re: frama-c_20161101+silicon+dfsg-1_amd64.changes ACCEPTED into unstable
On Wed, Dec 21, 2016 at 10:34:51AM +0000, Debian FTP Masters wrote:
>
>
> Accepted:
>
> -----BEGIN PGP SIGNED MESSAGE-----
> Hash: SHA256
>
> Format: 1.8
> Date: Tue, 13 Dec 2016 00:32:12 +0100
> Source: frama-c
> Binary: frama-c frama-c-base
> Architecture: source amd64
> Version: 20161101+silicon+dfsg-1
[...]
> * Do not recommend why and libwhy-coq which are not part of Stretch
how do you know that why will not be part of stretch ?
-Ralf.
Reply to: