OPAM-UNINSTALL(1) Opam Manual OPAM-UNINSTALL(1) (NAME) opam-uninstall - remove (SYNOPSIS) opam uninstall [OPTION] [PACKAGES] (DESCRIPTION) opam uninstall opam remove . opam remove --help . (PACKAGE BUILD OPTIONS) --assume-depexts opam . opam . . -b, --keep-build-dir . $OPAMKEEPBUILDDIR "true" . --build-doc 2.1 --with-doc . --build-test 2.1 --with-test . -d, --with-doc . . $OPAMWITHDOC ( $OPAMBUILDDOC) "true" . --dry-run . $OPAMDEBUG . --fake opam . : opam . --dry-run . . --ignore-constraints-on[=PACKAGES] (default=) opam . . . $OPAMIGNORECONSTRAINTS . --inplace-build opam . . $OPAMINPLACEBUILD "true" . -j JOBS, --jobs=JOBS . . $OPAMJOBS . --lock-suffix=SUFFIX (absent=locked) SUFFIX . --locked opam .locked ( foo.opam.locked foo.opam) . . lock . $OPAMLOCKED . . -m MAKE, --make=MAKE 2.1 opam config set[-global] make MAKE . --no-checksums . $OPAMNOCHECKSUMS "true" . --no-depexts . . --assume-depexts . --require-checksums . $OPAMREQUIRECHECKSUMS "true" . --reuse-build-dir ( --keep-build-dir) . . $OPAMREUSEBUILDDIR "true" . --show-actions (solver) . . $OPAMSHOW . --skip-updates install upgrade reinstall . (cache) . $OPAMSKIPUPDATE . -t, --with-test (unit-tests) . . $OPAMWITHTEST ( $OPAMBUILDTEST) "true" . --unlock-base 2.1 --update-invariant . --update-invariant ( ) . . $OPAMUNLOCKBASE --verbose-on=PACKAGES . $OPAMVERBOSE . --with-dev-setup . (ARGUMENTS) PACKAGES `pkg' `pkg.1.0' `pkg>=0.5' ( `./srcdir' `.') (OPTIONS) -a, --auto-remove . opam install --set-root . $OPAMAUTOREMOVE . --destdir=DIR opam install --destdir : DIR . install --destdir . opam . --force opam . --formula=FORMULA (absent=[]) . (invariant) . '"foo" {>= "1.1"}' --recursive *.opam . --subpath . --subpath=PATH *.opam . . --recursive . (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 . $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 opam pin opam install DIR . IGNOREPINDEPENDS=true . --json=FILENAME opam . `%' . $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 ( 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 . "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 . 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 . (caching) /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 ) 2.1 ( ) `--cli=2.1' . OPAMCLI 2.0 `--cli=2.0' opam . `--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 failure). . . 99 . opam . 130 . SIGINT Ctrl-C . 0 . 123 . 124 . 125 (). (FURTHER DOCUMENTATION) . (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 (SEE ALSO) opam(1) (BUGS) . Opam 2.5.2 OPAM-UNINSTALL(1)