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.
