Re: update devel/frama-c

[Daniel Dickman]

> On Aug 23, 2019, at 4:25 PM, Christopher Zimmermann <chr...@openbsd.org> 
> wrote:
> 
> I would welcome OKs and tests on real bytecode-only archs and i386,
> which is currently broken.
> 

Still broken on i386.