bug#54094: frama-c doesn't start

[jgart]

Hi,

This is now fixed in https://issues.guix.gnu.org/71748

Thanks,

jgart

https://whereis.みんな/