Add a package nickname 'prove-asdf' to 'prove.asdf'.