Stéphane Glondu <glondu@debian.org> writes: >> IMO, a proper solution would require packaging topkg and, in the >> long run, also odig. What do you think? > > I agree. Feel free to do it! I'm not planning to do it right now, unless > it is absolutely necessary for the transition. I just see: topkg depends on Fmt, Logs, Bos, Cmdliner and opam-format. Out of this only cmlliner is currently in Debian, right? Hendrik