Subject: [bug#64249] [PATCH 0/9] Fix frama-c

From: [email-masked]
Date: Sun, 24 Dec 2023 17:43:35 +0100

From: Arnaud Daby-Seesaram <[email-masked]>

This patch series is built on top of 8b5b9fc21ea504eb5d226546884db2ebc6287b7d 
from https://git.guix-patches.cbaines.net/guix-patches/.

It:
- updates Why3 (the non-trivial diff comes from `guix style` changes).

- adds new dependencies of frama-c.
  These definitions come from the Guix importer for opam, with small edits.
  I had to disable checks for two of them.
  Note: tests are disabled for similar Guix packages and are not run by opam.

- updates frama-c to its latest stable version.
  I switched the package to dune-build-system.

Arnaud DABY-SEESARAM (9):
  gnu: why3: Update to 1.6.0.
  gnu: Add ocaml-ppx-deriving-yojson.
  gnu: Add ocaml-junit
  gnu: Add ocaml-junit-alcotest
  gnu: Add ocaml-yaml
  gnu: Add ocaml-ppx-deriving-yaml.
  gnu: Add ocaml-ppx-import.
  gnu: Add ocaml-dune-site.
  gnu: update frama-c to 27.1-Cobalt.

 gnu/packages/maths.scm | 145 +++++++++++++++++++-------------------
 gnu/packages/ocaml.scm | 154 +++++++++++++++++++++++++++++++++++++++++
 2 files changed, 229 insertions(+), 70 deletions(-)

base-commit: 8b5b9fc21ea504eb5d226546884db2ebc6287b7d
-- 
2.41.0