opam-unpin(1) on Linux
The text 7563ffc11cce, as Debian 8 (Jessie) shipped it.
An alias for pin remove.
Flags it lists
-
--compat-mode-1.0 -
--criteria -
--cudf -
--debug -
--debug-level -
--dev-repo -
--edit -
--git-version -
--kind -
--no-action -
--no-aspcud -
--no-base-packages -
--no-self-upgrade -
--quiet -
--safe -
--short -
--solver -
--strict -
--switch -
--use-internal-solver -
--verbose -
--version -
--yes -
-e -
-k -
-n -
-q -
-s -
-v -
-y