Run `opam repository add coq-released --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
[iris-dev] Initialised [NOTE] Repository iris-dev has been added to the selections of switch ocaml-base-compiler.4.08.1 only. Run `opam repository add iris-dev --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.
make: *** No rule to make target 'builddep-opamfiles'. Stop. ERROR: Job failed: exit code 1