bug#71748: closed ([PATCH 0/3] gnu: frama-c: Update to 29.0.)

[GNU bug Tracking System]

Your message dated Mon, 24 Jun 2024 20:05:51 +0000
with message-id <bec72573ddd9871319fd388c69aad7b73435a497@dismail.de>
and subject line Re: [PATCH 0/3] gnu: frama-c: Update to 29.0.
has caused the debbugs.gnu.org bug report #71748,
regarding [PATCH 0/3] gnu: frama-c: Update to 29.0.
to be marked as done.

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


-- 
71748: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=71748
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 0/3] gnu: frama-c: Update to 29.0.
>
>
>
>
> Date: 
>
> Mon, 24 Jun 2024 13:55:27 +0200
>
>
>
>
> This updates Frama-C to the latest version (29.0 Copper) and fixes
> problems with the search paths so that Frama-C can be used without
> the OCaml compiler in the profile[1][2].
>
> [1]: <https://issues.guix.gnu.org/54094>.
> [2]: <https://issues.guix.gnu.org/69996>.
>
> Jean-Pierre De Jesus DIAZ (3):
>   gnu: frama-c: Update to 29.0.
>   gnu: frama-c: Use G-Expressions.
>   gnu: frama-c: Add wrap-programs phase.
>
>  gnu/packages/maths.scm | 29 ++++++++++++++++++++---------
>  1 file changed, 20 insertions(+), 9 deletions(-)
>
>
> base-commit: c5fc11488c7bf6d9cf35513a43a40c61e5b8e1cd
> -- 
> 2.45.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [PATCH 0/3] gnu: frama-c: Update to 29.0.
>
>
>
>
> Date: 
>
> Mon, 24 Jun 2024 20:05:51 +0000
>
>
>
>
> Applied! Thanks.
>
> --
> jgart
>
>
> --- End Message ---