Sander December 30, 2019 at 11:32 am It seems that HomeBrew on Linux is a good way to install newer packages without having to trust PPA authors.