Choice of operating system

I can see how I gave that impression, and, indeed, that’s not what I was trying to articulate. My main point was, unfortunately, rather subtly placed in that whole mess of words up there.

@dabeegmon to clarify, there are separate build jobs for both debian and ubuntu (since they are indeed quite different). My post should have stated that it is far more likely for a package to work on Debian than, say, Gentoo.

I don’t quite follow your logic – this feels like a rather large leap to me. Would you mind explaining what makes you say this?

This can happen in a lot of situations, but the one that I see most likely (with a very incomplete picture of what’s going on, and what you consider as a complete install) is that you are trying to install a package that has a dependency whose rosdep keys are not present.

If that is indeed the case, you can add any missing keys to this file in the form of a pull request. I have to do this a lot with Gentoo keys, since people frequently fail to add the Gentoo keys when they add their package’s dependencies into that file (but, honestly, who can really blame them).

If this is not the case, then I’d need more information from you.