У меня много чего нашлось по
$apt-cache search vmware
vmware-player - Free virtual machine player from VMware
vmware-player-kernel-modules-2.6.15-23 - vmware-player modules for Linux (kernel 2.6.15)
vmware-player-kernel-modules - vmware-player kernel module dependency package
vmware-player-kernel-modules-2.6.15-25 - vmware-player modules for Linux (kernel 2.6.15)
vmware-player-kernel-modules-2.6.15-26 - vmware-player modules for Linux (kernel 2.6.15)
vmware-player-kernel-source - Source for the vmware-player-kernel drivers.