Pluto v0.12.16 should be out. This is what I get in the REPL: julia> Pkg.status(“Pluto”) Status ~/.julia/environments/v1.5/Project.toml [c3e4b0f8] Pluto v0.12.12 julia> Pkg.update(“Pluto”) Updating registry at ~/.julia/registries/General Updating git-repo https://github.com/JuliaRegistries/Ge…

Pluto.jl not being updated

kristoffer.carlsson December 9, 2020, 4:42pm 3

Try, pkg> add Pluto@0.12.16.

2 Likes