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

[Julien Lepiller]

The whole series LGTM, though untested.

Le 25 avril 2024 15:08:40 GMT+02:00, Jean-Pierre De Jesus DIAZ 
<jean@foundation.xyz> a écrit :
>This package updates Frama-C to 28.1 and its dependencies.  An error was
>fixed by moving the ocaml-lablgtk3-sourceview3 native-inputs to
>propagated-inputs as it was needed by frama-c to properly perform syntax
>highlighting on C code.
>
>Also the why3 package was updated and a couple of propagated-inputs
>inputs were added to enable extra features and also to enable the
>integrated IDE (also using ocaml-lablgtk3-sourceview3).
>
>Jean-Pierre De Jesus DIAZ (7):
>  gnu: ocaml-lablgtk3-sourceview3: Fix inputs.
>  gnu: coq-flocq: Update to 4.1.4.
>  gnu: why3: Update to 1.7.2.
>  gnu: why3: Use new style.
>  gnu: why3: Enable extra features.
>  gnu: Add ocaml-unionfind.
>  gnu: frama-c: Update to 28.1.
>
> gnu/packages/coq.scm   |  5 +--
> gnu/packages/maths.scm | 81 ++++++++++++++++++++++++------------------
> gnu/packages/ocaml.scm | 28 +++++++++++++--
> 3 files changed, 75 insertions(+), 39 deletions(-)
>
>
>base-commit: e5c130c0f90a7dacc8d223eee494a1b1105dd94a