On Fri, Oct 20, 2017 at 10:59 AM, W. Martin Borgert wrote: > I would package the new dino under this name, because I don't think > there is a conflict. It is a problem for Ubuntu unless the new version has a newer version number than the old package. Launchpad does not forget about old version numbers. For context, the new ITP is https://bugs.debian.org/860055 Thanks, Jeremy Bicha