EnglishFrenchSpanish

OnWorks favicon

opam-unpin - Online in the Cloud

Run opam-unpin in OnWorks free hosting provider over Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

This is the command opam-unpin that can be run in the OnWorks free hosting provider using one of our multiple free online workstations such as Ubuntu Online, Fedora Online, Windows online emulator or MAC OS online emulator

PROGRAM:

NAME


opam-unpin - An alias for pin remove.

SYNOPSIS


opam unpin [OPTION]... [ARG]...

DESCRIPTION


opam unpin is an alias for opam pin remove.

See opam pin --help for details.

COMMON OPTIONS


--color=WHEN (absent=auto)
Colorize the output. WHEN must be one of `always', `never' or `auto'.

--criteria=CRITERIA
Specify user preferences for dependency solving for this run. Overrides both
$OPAMCRITERIA and $OPAMUPGRADECRITERIA. For details on the supported language, and the
external solvers available, see
http://opam.ocaml.org/doc/Specifying_Solver_Preferences.html. A general guide to using
solver preferences can be found at http://www.dicosmo.org/Articles/usercriteria.pdf.
The default value is
-count(down),-count(removed),-notuptodate(solution),-sum(solution,version-lag),-count(new)
for upgrades, and
-count(removed),-notuptodate(request),-sum(request,version-lag),-count(down),-notuptodate(changed),-count(changed),-notuptodate(solution),-sum(solution,version-lag)
otherwise.

--cudf=FILENAME
Debug option: Save the CUDF requests sent to the solver to FILENAME-<n>.cudf.

--debug
Print debug message to stderr. This is equivalent to setting $OPAMDEBUG to "true".

--debug-level=LEVEL
Like `--debug', but allows specifying the debug level (`--debug' sets it to 1).
Equivalent to setting $OPAMDEBUG to a positive integer.

--git-version
Print the git version if it exists and exit.

--no-base-packages
Do not install base packages (useful for testing purposes). This is equivalent to
setting $OPAMNOBASEPACKAGES to a non-empty string.

--no-self-upgrade
OPAM will replace itself with a newer binary found at OPAMROOT/opam if present. This
disables this behaviour.

-q, --quiet
Be quiet when installing a new compiler.

--root=ROOT (absent=~/.opam)
Use ROOT as the current root path. This is equivalent to setting $OPAMROOT to ROOT.

--safe
Make sure nothing will be automatically updated or rewritten. Useful for calling from
completion scripts, for example. Will fail whenever such an operation is needed ; also
avoids waiting for locks, skips interactive questions and overrides the OPAMDEBUG
variable.

--solver=CMD
Specify the name of the external dependency solver. The default value is aspcud.
Either 'aspcud', 'packup' or a custom command that may contain the variables
%{input}%, %{output}% and %{criteria}%

--strict
Fail whenever an error is found in a package definition or a configuration file. The
default is to continue silently if possible.

--switch=SWITCH
Use SWITCH as the current compiler switch. This is equivalent to setting $OPAMSWITCH
to SWITCH.

--use-internal-solver, --no-aspcud
Force use of internal heuristics, even if an external solver is available.

-v, --verbose
Be more verbose, show package sub-commands and their output. Repeat to see more.
Repeating n times is equivalent to setting $OPAMVERBOSE to "n".

-y, --yes
Disable interactive mode and answer yes to all questions that would otherwise be asked
to the user. This is equivalent to setting $OPAMYES to "true".

OPTIONS


--dev-repo
Pin to the upstream package source for the latest development version

-e, --edit
With opam pin add, edit the opam file as with `opam pin edit' after pinning.

--help[=FMT] (default=pager)
Show this help in format FMT (pager, plain or groff).

-k KIND, --kind=KIND
Sets the kind of pinning. Must be one of one of `version', `path', `http', `git',
`darcs', `hg' or `auto'. If unset, is inferred from the format of the target,
defaulting to path. If auto or OPAMPINKINDAUTO is set, a local path will be searched
for version control and the pinning kind set accordingly. This is expected to become
the default in a next version.

-n, --no-action
Just record the new pinning status, and don't prompt for (re)installation or removal
of affected packages.

-s, --short
Output raw lists of names, one per line, skipping any details.

--version
Show version information.

Use opam-unpin online using onworks.net services


Free Servers & Workstations

Download Windows & Linux apps

  • 1
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player is a free media player
    software, part based on WMP and VLC. The
    player is in a minimalist style, with
    more than ten theme colors, and can also
    b...
    Download AstrOrzPlayer
  • 2
    movistartv
    movistartv
    Kodi Movistar+ TV es un ADDON para XBMC/
    Kodi que permite disponer de un
    decodificador de los servicios IPTV de
    Movistar integrado en uno de los
    mediacenters ma...
    Download movistartv
  • 3
    Code::Blocks
    Code::Blocks
    Code::Blocks is a free, open-source,
    cross-platform C, C++ and Fortran IDE
    built to meet the most demanding needs
    of its users. It is designed to be very
    extens...
    Download Code::Blocks
  • 4
    Amidst
    Amidst
    Amidst or Advanced Minecraft Interface
    and Data/Structure Tracking is a tool to
    display an overview of a Minecraft
    world, without actually creating it. It
    can ...
    Download Amidst
  • 5
    MSYS2
    MSYS2
    MSYS2 is a collection of tools and
    libraries providing you with an
    easy-to-use environment for building,
    installing and running native Windows
    software. It con...
    Download MSYS2
  • 6
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo is a JPEG image codec
    that uses SIMD instructions (MMX, SSE2,
    NEON, AltiVec) to accelerate baseline
    JPEG compression and decompression on
    x86, x8...
    Download libjpeg-turbo
  • More »

Linux commands

Ad