Releases with Ubuntu 18.04 builds?

Looks like it only has the latest 16.x release. So you will have to use 16.0.6 if you’re going to use those packages.

So I don’t know how to do that, and either way given it’s a volunteer job, I wouldn’t be comfortable just giving out a name.

@tstellar was the release manager for 16 (16.0.3 Release), they may be able to advise what’s appropriate here.

And/or confirm whether my suggestions of how to build your own copy of the release are correct.