[rascas]

Kodi 18 and pvr-teleboy are available in Raspbian Stretch (for the Raspberry Pi):

Code:

$ apt-cache policy kodi
kodi:
  Installed: 2:18.2-1~stretch
  Candidate: 2:18.2-1~stretch
  Version table:
 *** 2:18.2-1~stretch 500
        500 http://archive.raspberrypi.org/debian stretch/main armhf Packages
        100 /var/lib/dpkg/status
     2:17.1+dfsg1-3 500
        500 http://raspbian.raspberrypi.org/raspbian stretch/main armhf Packages
$ apt-cache policy kodi-pvr-teleboy
kodi-pvr-teleboy:
  Installed: (none)
  Candidate: 18.0.24-1~stretch
  Version table:
     18.0.24-1~stretch 500
        500 http://archive.raspberrypi.org/debian stretch/main armhf Packages

If you are talking about Debian Stretch for x86, no, they aren't available in the repos, the latest available is Kodi 17. You will have to compile it yourself.