Hello Hendrik, Please note that there is no circular dependency. There are two different opam packages: topkg and topkg-care with different build instructions and each package should be built on its own, as done in opam. See the topkg.opam and topkg-care.opam files for a precise definition of the dependencies and the build instructions. Best, Daniel