clojars 2024-11-07

Hi! If a library was pushed by mistake under the wrong name, could it be deleted? I know the policy is "no", but in this specific case there is no way anyone can be willingly dependent on it.