carta

opam-admin-rename(1) on Linux

The text 4650adc751d6, as Debian 9 (Stretch) shipped it. The page shows this text now.

Rename a package.

Flags it lists

opam-admin-rename(1) on Linux now