Install pvr.wmc on kodi on raspberry pi

Hi, I hope this is a simple answer, but I just cant find a download link ANYWHERE.

I have Kodi 17.3 installed part of the latest Nachos image. The release of Kodi I have installed doesn’t have pvr.wmc installed locally, and its not listed in the downloads section for additional add-ons to install.

I think I just have to download pvr.wmc for kodi for raspberry pi and in the ‘add-on brower’ section use the ‘Install from zip file’ option. But I just cannot find ANYWHERE the download for pvr.wmc for kodi for raspberry pi.

Please can someone help I would be very grateful?