You probably want to develop on the Constraint solver instead of just installing, right? Then you can use `] dev https://github.com/Wikunia/ConstraintSolver.jl` You currently try to develop a package which already exists and that doesn't work. Yes the error message is unhelpful.