The text c33fbc4e9fae, as Debian 8 (Jessie) shipped it.
Rename a package.
--version
opam-admin-rename(1) on Linux now
