Dear list,

yesterday a guy on the general list reported me a bug and I did an update to one of my external, that is available on deken.
Today I will update the deken repository; the suggested practice is update the external with incremented version or it's better to remove the old package?
Moreover, there is a way to remove a package? I don't see a remove command...

Best regards,

Marco