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

["Adam D. Barratt" <adam@adam-barratt.org.uk>]

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.

Regards,

Adam