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

[Jean-Pierre De Jesus DIAZ <jean@foundation.xyz>]

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
-- 
2.41.0