Subject: Re: frama-c doesn't start

From: "jgart" <[email-masked]>
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.みんな/