Provided by: opam-docs_1.2.2-4_all 

NAME
opam-unpin - An alias for pin remove.
SYNOPSIS
opam unpin [OPTION]... [ARG]...
DESCRIPTION
opam unpin is an alias for opam pin remove.
See opam pin --help for details.
COMMON OPTIONS
--color=WHEN (absent=auto)
Colorize the output. WHEN must be one of `always', `never' or `auto'.
--criteria=CRITERIA
Specify user preferences for dependency solving for this run. Overrides both $OPAMCRITERIA and
$OPAMUPGRADECRITERIA. For details on the supported language, and the external solvers available, see
http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html. A general guide to using solver
preferences can be found at http://www.dicosmo.org/Articles/usercriteria.pdf. The default value is
-count(down),-count(removed),-notuptodate(solution),-sum(solution,version-lag),-count(new) for
upgrades, and
-count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution,version-lag)
otherwise.
--cudf=FILENAME
Debug option: Save the CUDF requests sent to the solver to FILENAME-<n>.cudf.
--debug
Print debug message to stderr. This is equivalent to setting $OPAMDEBUG to "true".
--debug-level=LEVEL
Like `--debug', but allows specifying the debug level (`--debug' sets it to 1). Equivalent to setting
$OPAMDEBUG to a positive integer.
--git-version
Print the git version if it exists and exit.
--no-base-packages
Do not install base packages (useful for testing purposes). This is equivalent to setting
$OPAMNOBASEPACKAGES to a non-empty string.
--no-self-upgrade
OPAM will replace itself with a newer binary found at OPAMROOT/opam if present. This disables this
behaviour.
-q, --quiet
Be quiet when installing a new compiler.
--root=ROOT (absent=~/.opam)
Use ROOT as the current root path. This is equivalent to setting $OPAMROOT to ROOT.
--safe
Make sure nothing will be automatically updated or rewritten. Useful for calling from completion
scripts, for example. Will fail whenever such an operation is needed ; also avoids waiting for locks,
skips interactive questions and overrides the OPAMDEBUG variable.
--solver=CMD
Specify the name of the external dependency solver. The default value is aspcud. Either 'aspcud',
'packup' or a custom command that may contain the variables %{input}%, %{output}% and %{criteria}%
--strict
Fail whenever an error is found in a package definition or a configuration file. The default is to
continue silently if possible.
--switch=SWITCH
Use SWITCH as the current compiler switch. This is equivalent to setting $OPAMSWITCH to SWITCH.
--use-internal-solver, --no-aspcud
Force use of internal heuristics, even if an external solver is available.
-v, --verbose
Be more verbose, show package sub-commands and their output. Repeat to see more. Repeating n times is
equivalent to setting $OPAMVERBOSE to "n".
-y, --yes
Disable interactive mode and answer yes to all questions that would otherwise be asked to the user.
This is equivalent to setting $OPAMYES to "true".
OPTIONS
--dev-repo
Pin to the upstream package source for the latest development version
-e, --edit
With opam pin add, edit the opam file as with `opam pin edit' after pinning.
--help[=FMT] (default=pager)
Show this help in format FMT (pager, plain or groff).
-k KIND, --kind=KIND
Sets the kind of pinning. Must be one of one of `version', `path', `http', `git', `darcs', `hg' or
`auto'. If unset, is inferred from the format of the target, defaulting to path. If auto or
OPAMPINKINDAUTO is set, a local path will be searched for version control and the pinning kind set
accordingly. This is expected to become the default in a next version.
-n, --no-action
Just record the new pinning status, and don't prompt for (re)installation or removal of affected
packages.
-s, --short
Output raw lists of names, one per line, skipping any details.
--version
Show version information.
Opam 1.2.2 OPAM-UNPIN(1)