The default setting for a WorkspaceConfig's packagesDir option.
Instances For
- packagesDir : Lake.FilePath
The directory to which Lake should download remote dependencies. Defaults to
defaultPackagesDir(i.e.,lake-packages).
A Workspace's declarative configuration.