local switch needs an ocaml version, otherwise opam complains (only if there is no switch yet), see ocaml/opam#3874
local switch needs an ocaml version, otherwise opam complains (only if there is no switch yet), see ocaml/opam#3874

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer