rename-package

(rename-package package-designator new-name &optional new-nicknames)

Renames a package created by make-package and returns it under its new name. The nicknames are replaced by new-nicknames, even when that list is empty. Renaming a read/compile-time package, an unknown designator, or onto a name (or nickname) that collides with a different package signals a catchable package-error.