opam-admin-lint(1) on Linux
The text c116d6106adb, as Debian 10 (Buster) shipped it.
Runs 'opam lint' and reports on a whole repository
Flags it lists
-
--best-effort -
--color -
--criteria -
--cudf -
--debug -
--debug-level -
--exclude -
--git-version -
--ignore-packages -
--ignore-pin-depends -
--json -
--list -
--no-aspcud -
--no-auto-upgrade -
--quiet -
--readonly -
--root -
--safe -
--short -
--solver -
--strict -
--switch -
--use-internal-solver -
--verbose -
--version -
--warn-error -
--working-dir -
--yes -
-W -
-i -
-l -
-q -
-s -
-v -
-w -
-x -
-y