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

[GNU bug Tracking System]

Your message dated Wed, 15 May 2024 17:23:40 +0200
with message-id <ZkTTfLgIOBU4Jk0E@jurong>
and subject line Re: [bug#70567] [PATCH v2 7/7] gnu: frama-c: Update to 28.1.
has caused the debbugs.gnu.org bug report #70567,
regarding [PATCH 0/7] frama-c: Update to 28.1.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
70567: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70567
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/7] frama-c: Update to 28.1.
>
>
>
>
> Date: 
>
> Thu, 25 Apr 2024 15:08:40 +0200
>
>
>
>
> 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
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#70567] [PATCH v2 7/7] gnu: frama-c: Update to 28.1.
>
>
>
>
> Date: 
>
> Wed, 15 May 2024 17:23:40 +0200
>
>
>
>
> Am Wed, May 15, 2024 at 03:05:07PM +0000 schrieb Jean-Pierre De Jesus Diaz:
> > I've sent a V3 with the rest of the unapplied patches with the conflicts
> > solved.
>
> That was lightning fast, I have applied and pushed them.
> Thanks!
>
> Andreas
>
>
>
> --- End Message ---