Bug#595921: Future unblock: frama-c/20100401+boron+dfsg-5

[Mehdi Dogguy <mehdi@debian.org>]

On 07/09/2010 20:06, Adam D. Barratt wrote:
> On Tue, 2010-09-07 at 11:54 +0200, Mehdi Dogguy wrote:
>> I received a tiny patch from upstream which fixes a performance bug
>> that could lead to a "stack overflow" error (a crash) during large
>> analyses.
> [...]
>> Would it be ok for upload an updated Frama-C package with this change
>> only?  Uploading a new Frama-C would require rebuilding Why as well on
>> all architectures because it provides a plugin for Frama-C which
>> contains a hash of some internal modules of Frama-C (that's needed by
>> OCaml).
> 
> Please go ahead, and let us know once the package has been accepted.
> 

Uploaded.

Regards,

-- 
Mehdi Dogguy مهدي الدڤي
mehdi@{dogguy.org,debian.org}