Am Freitag, 28. Oktober 2016 13:31:13 UTC+2 schrieb Bill Hart: > > We'll consider changing it. It's mainly supposed to be for us developers > so we can build the binaries, but if people want to actually use it, I > guess we should maintain it a bit more carefully. > > Bill. >
BTW, when trying to Pkg.update() it now tells me: julia> Pkg.update() INFO: Updating METADATA... WARNING: Package Nemo: skipping update (dirty)... INFO: Computing changes... INFO: No packages to install, update or remove