Daniel Bünzli <daniel.buen...@erratique.ch> writes: >> I thought topkg-care is needed to run the tests, for instance, >> for cmdliner? > > In fact no, the `topkg` tool is really just a convenience as far as
OK, I'll keep this in mind and will have a closer look when I look at the tests. Hendrik