soma add

Add a dependency: soma add pkg --git url.

soma add is a command of soma, the toolchain of the Soma programming language (compiler, checker, verifier, test runner and server in one binary). Its options, as soma 3.2.4 prints them:

$ soma add --help
Add a dependency: soma add pkg --git url

Usage: soma-v3.2.4 add [OPTIONS] <PACKAGE>

Arguments:
  <PACKAGE>  Package name or git URL

Options:
      --version <VERSION>  Version or branch
      --git <GIT>          Git URL
      --path <PATH>        Local path
      --stdlib <STDLIB>    Path to stdlib directory (default: auto-detect)
  -h, --help               Print help