[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70567] [PATCH v2 7/7] gnu: frama-c: Update to 28.1.
From: |
Andreas Enge |
Subject: |
[bug#70567] [PATCH v2 7/7] gnu: frama-c: Update to 28.1. |
Date: |
Wed, 15 May 2024 16:52:52 +0200 |
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