Names aren&#x27;t copyrighted, they&#x27;re trademarked. And since:<p>a) Arch Linux isn&#x27;t selling pacman.
b) I don&#x27;t believe Namco still own a registered trademark for Pacman. And they probably don&#x27;t make enough money from it for them to win a lawsuit about it (trademarks require a reasonable commercial interest in order to be protected).<p>So there almost certainly isn&#x27;t a legal issue. IANAL.