Yup, it was debian. I think I tried adding another repo, but gave up before I got it to work. I didn’t try to just download the file, because I had done that before and all I could do is extract whatever is inside the file, but not install it.

It was around 2 years ago, maybe Linux has gotten that much more user friendly in the last two years, but I doubt it.