Is there any way to get the 4.2 version of Tvheadend, preferably the .deb package?

Asking for a friend - seems they have made some "improvements" in the 4.3 version which he says makes it nearly unusable for his purposes, and he wants to find the AMD64 .deb build of 4.2 if there is any place to still get that.