How to deal with usptream name change (ZINF)

Hi! I packaged ZINF, the next-version freeamp (is not called freeamp anymore since Amp is a trademark of PlayMedia Systems, Inc.). freeamp is orphaned since some time now. IMO, the right thing would be, once that ZINF is in unstable, to remove freeamp from unstable (freeamp and zinf could be insta

How to deal with usptream name change (ZINF)

Hi! I packaged ZINF, the next-version freeamp (is not called freeamp anymore since Amp is a trademark of PlayMedia Systems, Inc.). freeamp is orphaned since some time now. IMO, the right thing would be, once that ZINF is in unstable, to remove freeamp from unstable (freeamp and zinf could be inst