Ah, my bad. I seem to have misinterpreted the documentation of ]?dev
, from which I did not gather that this is quite similar to ]add
. (Though this is explained more clearly elsewhere in the Pkg.jl
documentation, and in Add vs dev at a local path .)
Using dev
is then a very neat and elegant solution!