This is part of iris#471.
Instructions are needed, but with dune 3.4 this already supports dune build, dune coq top.
dune build
dune coq top