For anyone that's interested... I know there are no official builds here, so I've just nailed something together to see if it works.
These are builds from the latest (4.0.7 at the time of writing) stable branch.
https://www.dropbox.com/sh/juu6f01vrgrgsgq/AAAy1BNFaBT9lv75M9pZXkuia?dl=0
THEY ARE UNTESTED. They should work, but I take no responsibility if they break, eat your recordings, run off with your spouse, or otherwise destroy your life. You are on your own.
They've been built under a Windows 10 Virtualbox environment, with a vanilla-as-it-comes installation of the guest OSes to give you as genuine a build as I know how to do.
Please report any issues and I'll see what I can do. No promises, though... you might have got that impression by now. Your home is at risk, etc., etc.
Oh, and TAKE A BACKUP OF YOUR EXISTING CONFIGURATION BEFORE YOU BREAK SOMETHING. I'm not saying itwill fail - it almost certainlywon't - but you'll thank yourself if it does break.
sudo cp -rp /home/hts/.hts/tvheadend /home/hts/.hts/tvheadend.backup
This will copy your existing config to tvheadend.backup, keeping all permissions and file ownership intact. If you need to restore, simply stop tvheadend:
sudo service tvheadend stop
... then remove your existing config (*any changes you've made since the backup will be irrevocably lost*):
sudo rm -r /home/hts/.hts/tvheadend
and then restore the backup:
sudo mv /home/hts/.hts/tvheadend.backup /home/hts/.hts/tvheadend
... to move your backup to replace your config, or
sudo cp -rp /home/hts/.hts/tvheadend.backup /home/hts/.hts/tvheadend
... to copy it (backup stays intact).
Then re-install your preferred version of tvheadend and restart tvheadend or reboot your system.
Install using
sudo dpkg -i <file>
Each version has two files... there's the main .deb file, which is the program itself, and there's a secondary dbg .deb file, which contains the debug symbols needed to translate hex addresses back to the source code. You can install them both, or leave the second until later
if you get a problem (e.g. a crash) - your choice.