opam-admin-rename(1)

opam-admin-rename1

Rename a package.

Usage

opam-admin rename [OPTION] ... ARG ARG

Options

--help[=FMT] (default=pager)

Show this help in format FMT (pager, plain or groff).

--version

Show version information.

Releases

2 releases since Debian 8 (Jessie); the text changed 1 time.

  1. 8
  2. 9

From opam-docs 1.2.2-5 in Debian 9 (Stretch). Parsed by carta from the page's man source.