opam-pin(1) on Linux
The text d1619cc6c2b1, as Debian 10 (Buster) shipped it.
Pin a given package to a specific version or source.
Flags it lists
-
--best-effort -
--build-doc -
--build-test -
--color -
--criteria -
--cudf -
--debug -
--debug-level -
--dev-repo -
--dry-run -
--edit -
--fake -
--git-version -
--ignore-pin-depends -
--inplace-build -
--jobs -
--json -
--keep-build-dir -
--kind -
--make -
--no-action -
--no-aspcud -
--no-auto-upgrade -
--no-checksums -
--no-self-upgrade -
--quiet -
--readonly -
--require-checksums -
--reuse-build-dir -
--root -
--safe -
--short -
--show-actions -
--skip-updates -
--solver -
--strict -
--switch -
--unlock-base -
--use-internal-solver -
--verbose -
--version -
--with-doc -
--with-test -
--working-dir -
--yes -
-b -
-d -
-e -
-j -
-k -
-m -
-n -
-q -
-s -
-t -
-v -
-w -
-y