Tvheadend

Hi guys,

after Raspbian stopped working for me, I wanted to give Ubuntu Mate a change. While trying to install TVH according to this guide:
https://tvheadend.org/projects/tvheadend/wiki/AptRepository

I encounter the issue that in the last step (apt-get install tvheadend) I get the error message:
"E: Unable to locate package tvheadend"

Can't explain why, I executed

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61

and

echo "deb https://dl.bintray.com/tvheadend/deb xenial stable-4.2" | sudo tee /etc/apt/sources.list.d/tvheadend.list

without issues, what could be the reason?

Best regards

Stefan