On Tuesday, 23 March 2021 at 16:04:49 UTC, mw wrote: > Just want to make sure: what I mean is $HOME/.dub/ the whole > *dir* tree, it contains all the 3rd party packages; not a > single file. I don't have a $HOME/.dub/ directory, but I did delete the whole .dub/ directory in the project I am trying to compile.