For what it’s worth, deleting the Pluto boot environments in ~/.julia/environments
(named __pluto_boot_⟨version⟩
) solved this problem for me.
5 Likes
For what it’s worth, deleting the Pluto boot environments in ~/.julia/environments
(named __pluto_boot_⟨version⟩
) solved this problem for me.