vmware-player-2.5.3.185404 was removed leaving vmware-player-1.0.9.126128 as last stable version. vmware-player-1.0.9.126128 depends on vmware-modules-1.0.0.15-r2 which does not compile with current Kernels. vmware-player-2.5.4.246459 is not stable (~x86). The Log Entry for this is " removing old versions". I would have expected vmware-player-1.0.9.126128 to be deleted and vmware-player-2.5.3.185404 to be kept. Reproducible: Always Steps to Reproduce:
Clearly obsolete since vmware-player-2.5.4.246459 is stable now.