Hi all,

frama-c is now fixed in https://issues.guix.gnu.org/71748

all best,

jgart

https://whereis.みんな/



Reply via email to