jessie has this, no need for the old package name to appear
authormirabilos <tg@debian.org>
Sun, 10 Nov 2019 21:06:39 +0000 (22:06 +0100)
committermirabilos <mirabilos@evolvis.org>
Sun, 10 Nov 2019 21:06:39 +0000 (22:06 +0100)
commit4149836fa89659add42f2fc43e0fc1b680352a84
tree186b444b71780f159e54bd44588996e477f55403
parent3aff0952e71a9941d511e6282c5ef093079888f9
jessie has this, no need for the old package name to appear

(trusty also, but precise doesn’t, so we’ll need it in the PPA branch)
debian/control