bug#54094: closed (frama-c doesn't start)

[GNU bug Tracking System]

Your message dated Mon, 24 Jun 2024 20:08:05 +0000
with message-id <adb862a91a915d89963a7fe360e9eb3acc8dc39e@dismail.de>
and subject line Re: frama-c doesn't start
has caused the debbugs.gnu.org bug report #54094,
regarding frama-c doesn't start
to be marked as done.

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


-- 
54094: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=54094
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> frama-c doesn't start
>
>
>
>
> Date: 
>
> Mon, 21 Feb 2022 22:13:07 +0100
>
>
>
>
> I was just idly messing around so I'm not super motivated to dig
> deeper.
>
> ```
> guix shell frama-c -- frama-c
> [kernel] User Error: [findlib] package 'ocamlgraph' not found (required by 
> `frama-c.kernel')
> [kernel] User Error: Deferred error message was emitted during execution. See 
> above messages for more information.
> [kernel] Frama-C aborted: invalid user input.
> ```
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: frama-c doesn't start
>
>
>
>
> Date: 
>
> Mon, 24 Jun 2024 20:08:05 +0000
>
>
>
>
> Hi,
>
> This is now fixed in https://issues.guix.gnu.org/71748
>
> Thanks,
>
> jgart
>
> https://whereis.みんな/
>
>
> --- End Message ---