Work around opam bug in make setup for opam < 2.2#2044

sim642 merged 1 commit into

mastergoblint/analyzer:masterfrom

dev-setup-opam-2.1goblint/analyzer:dev-setup-opam-2.1Copy head branch name to clipboard