[bug#70567] [PATCH v2 7/7] gnu: frama-c: Update to 28.1.

[Jean-Pierre De Jesus Diaz]

Hello Andreas,

Thanks for committing the patches!

I've sent a V3 with the rest of the unapplied patches with the conflicts
solved.

Thanks,

Jean-Pierre

On Wed, May 15, 2024 at 2:53 PM Andreas Enge <andreas@enge.fr> wrote:
>
> Hello,
>
> thanks for the patches and the reviews! I have pushed the commits 1 to 2
> and 6 to 7, after checking that frama-c still compiles like this.
>
> Commit 3 does not apply any more, since there have been additions to
> maths.scm.
>
> Could you please prepare a new version of commits 3 to 5 that apply
> to master?
>
> Thanks,
>
> Andreas
>