To install a project as a dependency, use the install
command in the UCM. The install
command will add the project to your lib
directory.
myProject/main> install @user/project
This command can be copied into your clipboard from the Unison Share UI when you click the "Use Project" button on a project page.
If you want to install a specific version of a project, specify the version like this:
myProject/main> install @user/project/releases/1.2.3