I'm trying to use VMWare Player on Ubuntu 12.04 LTS but encountering the same issue as discussed in "Kernel Headers 3.10.18 not found in VMware Kernel Module Updater".
However I cannot seem to find the corresponding linux headers for 3.10.18, these do not appear when searching in the terminal or in Synaptic. Is anyone able to suggest how I can resolve this issue or provide a work around? Your help is much appreciated.
