Hi Guix! I updated my patches to the latest version of frama-c, and the issue is gone now! Frama-c is working, as long as ocaml is in the environment (because it's calling ocaml-findlib that needs an environment variable defined by the ocaml package).