OPAM-LIST(1) Opam Manual OPAM-LIST(1) (NAME) opam-list - . (SYNOPSIS) opam list [--check] [--no-depexts] [--silent] [OPTION] [PATTERNS] (DESCRIPTION) opam. . . --short `--' . ( ) . (PACKAGE SELECTION OPTIONS) OUTPUT FORMAT OPTIONS . opam show . opam search . (ARGUMENTS) PATTERNS (globs). --search NAME NAME.VERSION . (ORDER-SENSIBLE SELECTORS) . : --available --latests-only --latests-only --available . -a, --available -A, --all --base 2.1 --invariant . -i, --installed . --installable switch ( ) --invariant switch ( invariant) --latests-only . --pinned (pinned) --roots, --installed-roots (PACKAGE SELECTION OPTIONS) . --coinstallable-with=PACKAGES PACKAGES . --conflicts-with=PACKAGES . conflict-class: . --depends-on=PACKAGES PACKAGES ( ) . --depopts . --dev . --field-match=FIELD:PATTERN PATTERN FIELD --has-flag=FLAG . : light-uninstall verbose plugin compiler conf --has-tag=TAG --no-switch switch ( switch ) ( .) --nobuild ( ). --or --owns-file=FILE --post post . --recursive `--depends-on' `--required-by' (transitive) . --repos=REPOS ( no-switch ). --required-by=PACKAGES PACKAGES ( ) . --resolve=PACKAGES PACKAGES ( ) . `--required-by --recursive` . `--installed` . `--installed' . `--no-switch` . `--depopts' . --search PATTERNS ( --or ). -t, --with-test, --test (test-only). --with-dev-setup (dev-only). --with-doc, --doc (doc-only)..SH " (OUTPUT FORMAT OPTIONS)" --columns=COLUMNS : name version package synopsis synopsis-or-target description : installed-version pin source-hash opam-file all-installed-versions available-versions all-versions repository installed-files vc-ref depexts. --short name name installed-version synopsis-or-target . -e --external --depexts . . `depext' . `opam depext' . --normalise opam (). -S --sort ( ). -s --short name . --columns=package . --separator=STRING (absent= ) . -V --all-versions ( (pinned) ). . ( --short ). . --vars=[VAR=STR,...] . --external arch os os-distribution os-version os-family . --wrap (wrap) (truncate) . (OPTIONS) --check 0 1 . --no-depexts . . --silent 2.1 --check . (COMMON OPTIONS) . --best-effort : . ( aspcud mccs ). $OPAMBESTEFFORT . --cli=MAJOR.MINOR (absent=2.5) MAJOR.MINOR. opam ( ) opam MAJOR MINOR . opam 2.0 CLI 2.0 OPAMCLI 2.0 . --color=WHEN . WHEN always never auto . --confirm-level=LEVEL LEVEL ask no yes unsafe-yes . . --yes --no --confirm-level . $OPAMCONFIRMLEVEL . --criteria=CRITERIA (preferences) . $OPAMCRITERIA $OPAMFIXUPCRITERIA $OPAMUPGRADECRITERIA . : http://opam.ocaml.org/doc/External_solvers.html. http://www.dicosmo.org/Articles/usercriteria.pdf . --cudf=FILENAME : CUDF FILENAME-.cudf n- opam . --debug stderr. $OPAMDEBUG "true" . --debug-level=LEVEL --debug (--debug 1 ). $OPAMDEBUG . --git-version git opam ( ) . --help[=FMT] (default=auto) FMT. FMT auto pager groff plain . auto TERM dumb pager plain . --ignore-pin-depends (pins) opam pin opam install DIR . IGNOREPINDEPENDS=true . --json=FILENAME opam (computer- readable). `%' . $OPAMJSON. --no (no) / opam . --confirm-level. $OPAMNO "true" . --no-aspcud 2.1 . --no-auto-upgrade opam ( 1.2) opam . . 'repo' . opam admin upgrade [--mirror URL] . --no-self-upgrade opam OPAMROOT/opam . . -q --quiet --verbose . --root=ROOT ROOT . $OPAMROOT ROOT . --safe --readonly . . $OPAMDEBUG . $OPAMSAFE . --solver=CMD CUDF . ( opam builtin-mccs+lp() builtin-mccs+glpk builtin-dummy-z3-solver builtin-0install aspcud mccs aspcud-old packup ) %{input}% %{output}% %{criteria}% %{timeout}% . $OPAMEXTERNALSOLVER . --strict . . --switch=SWITCH SWITCH . $OPAMSWITCH SWITCH . --use-internal-solver (built-in) ( opam ). $OPAMNOASPCUD $OPAMUSEINTERNALSOLVER . -v --verbose . -v ( tar curl patch ) . n $OPAMVERBOSE "n" . --version . -w --working-dir . opam . . $OPAMWORKINGDIR . -y --yes (yes) / opam . --confirm-level. $OPAMYES "true" ..SH " (ENVIRONMENT)" opam . (Boolean) "0" "no" "false" "1" "yes" "true" . OPAMALLPARENS . OPAMASSUMEDEPEXTS `--assume-depexts' . OPAMAUTOANSWER . OPAMAUTOREMOVE `--auto-remove' . OPAMBESTEFFORT `--best-effort' . OPAMBESTEFFORTPREFIXCRITERIA `--best-effort' `opam-query' . OPAMBUILDDOC 2.1 . OPAMBUILDTEST 2.1 . OPAMCLI `--cli' . OPAMCOLOR always never `--color' . OPAMCONFIRMLEVEL `--confirm-level` . OPAMCONFIRMLEVEL OPAMYES OPAMNO . OPAMCRITERIA (preferences) . `config report' . --criteria . OPAMCUDFFILE cudf file-actions-explicit.dot . OPAMCUDFTRIM CUDF . OPAMCURL 'curl' . OPAMFETCH . OPAMDEBUG `--debug' `--debug-level' . OPAMDEBUGSECTIONS . ( CLIENT:2 CLIENT CUDF:2) `--debug-level' . OPAMDIGDEPTH CUDF . OPAMDOWNLOADJOBS . OPAMDROPWORKINGDIR --working-dir . opam . OPAMDRYRUN `--dry-run' . OPAMEDITOR opam $EDITOR $VISUAL . OPAMERRLOGLEN . 0 . OPAMEXTERNALSOLVER `--solver' . OPAMFAKE `--fake' . OPAMFETCH : `wget' `curl' %{url}% %{out}% %{retry}% %{compress}% %{checksum}% . 'download-command' . OPAMFIXUPCRITERIA OPAMUPGRADECRITERIA (fixup) . OPAMIGNORECONSTRAINTS `--ignore-constraints-on' . OPAMIGNOREPINDEPENDS `--ignore-pin-depends' . OPAMINPLACEBUILD `--inplace-build' . OPAMJOBS (parallel workers) . OPAMJSON json ( `%' ). OPAMKEEPBUILDDIR `--keep-build-dir' . OPAMKEEPLOGS opam . (backtraces) . OPAMLOCKED `--locked' `--lock-suffix'. OPAMLOGS logdir /tmp OPAMMAKECMD make . OPAMMERGEOUT stderr stdout. OPAMNO `--no` `--confirm-level` . OPAMCONFIRMLEVEL OPAMYES OPAMNO . OPAMNOAGGREGATE `opam admin check' . OPAMNOASPCUD . OPAMNOAUTOUPGRADE 'update' 'init' . OPAMNOCHECKSUMS --no-checksums . OPAMNODEPEXTS `--no-depexts' . OPAMNOENVNOTICE . OPAMNOSELFUPGRADE `--no-self-upgrade' OPAMPINKINDAUTO (pinning) . 1.3.0 . OPAMPRECISETRACKING . OPAMPREPRO CUDF false . . OPAMREPOSITORYTARRING tar.gz . /tmp . . OPAMREQUIRECHECKSUMS `--require-checksums' ( `opam install'). OPAMRETRIES . OPAMREUSEBUILDDIR `--reuse-build-dir' . OPAMROOT `--root' . `opam env --root=DIR --set-root' . OPAMROOTISOK (root) . OPAMSAFE `--safe' . OPAMSHOW `--show' . OPAMSKIPUPDATE `--skip-updates' . OPAMSKIPVERSIONCHECKS . . OPAMSOLVERALLOWSUBOPTIMAL ( `true') (timeout) . `true' opam `false' . builtin-z3 . OPAMSOLVERTIMEOUT . 60.0 0 . . OPAMSOLVERTOLERANCE ( ) . 0.0 ( ) 1.0 ( ) . 0.0 . ($OPAMSOLVERTIMEOUT ). . OPAMSTATS 2.4 . OPAMSTATUSLINE . ( always never auto) OPAMSTRICT ( switch .) . OPAMSWITCH `--switch' . `opam env --switch=SWITCH --set-switch' . OPAMUNLOCKBASE `--unlock-base' . OPAMUPGRADECRITERIA (preferences) . OPAMCRITERIA . --criteria . OPAMUSEINTERNALSOLVER `--use-internal-solver' . OPAMUSEOPENSSL 2.2 . OPAMUTF8 UTF8 ( always never auto). `auto' locale ). OPAMUTF8MSGS UTF8 () opam. OPAMUTF8 . macOS . OPAMVALIDATIONHOOK `%{hook%}' opam . OPAMVERBOSE `--verbose' . OPAMVERBOSEON --verbose-on OPAMVERSIONLAGPOWER . OPAMWITHDEVSETUP `--with-dev-setup' . OPAMWITHDOC `--with-doc' . OPAMWITHTEST `--with-test. OPAMWORKINGDIR `--working-dir' . OPAMYES `--yes' `--confirm-level` . OPAMYES OPAMNO OPAMCONFIRMLEVEL . OPAMVAR_var var `%{var}%` `opam` . OPAMVAR_package_var package:var `%{package:var}%` `opam` ..SH " (CLI VERSION)" opam `--cli' opam . . opam (~/.opam/) . CLI opam 2.1 OPAMCLI 2.0 ( opam 2.0 ) `--cli=2.1' 2.1 ( ) . opam OPAMCLI 2.0 `--cli=2.0' . `--cli' OPAMCLI . `--cli' . OPAMCLI `--cli' . (EXIT STATUS) `exec' 127 . 0 true . 1 False. --check opam lint. 2 ( ). 5 . ( ) . 10 . . 15 . 20 . . 30 . --strict . 31 . . . . 40 . . . 50 . opam . 60 (Solver). . . 99 . opam . 130 . SIGINT Ctrl-C . 0 . 123 (standard error). 124 . 125 (). (FURTHER DOCUMENTATION) https://opam.ocaml.org/doc . (AUTHORS) David Allsopp Vincent Bernardoff Raja Boujbel Kate Deplaix Roberto Di Cosmo Thomas Gazagnaire Louis Gesbert Fabrice Le Fessant Anil Madhavapeddy Guillem Rieu Ralf Treinen Frederic Tuong .SH " (SEE ALSO)" opam(1) (BUGS) https://github.com/ocaml/opam/issues . Opam 2.5.2 OPAM-LIST(1)