I want to patch Frama-C before building it but oooh well I don’t remember how to do it by heart and the dependency I wanted to add (mlcuddidl) doesn't exist in ocamlPackages for some reason…
And on the other hand opam doesn't work in NixOS, so total failure
@L29Ah @otini I actually end up working with gentoo once, and it felt like I should give it a try. It was six years ago, but maybe one day…