debian.pocket: Fix: support re-including into the repo the same package again