> 3.8 is available on Linux Mint so there must be a deb package out there. > You just need to find the ppa link and add it to your software manager. > Google (or duck duck go or....) is your friend. I have 3.8 on my Ubuntu machine and Raspberry Pi. John Weller