This is the command opam-admin-rename 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-admin-rename - Rename a package.
SYNOPSIS
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.
Use opam-admin-rename online using onworks.net services
