Unfortunately there was no .deb or .rpm available at least at the time, that would be acceptable to distribute in Linux shop. So I built one myself. It was not perfectly easy (at least not for a greybeard not used to such game engine stuff), but in the end I got it building and running myself, still with some quirks not making it suitable for distribution.
I never found the time to polish it and whenever I looked at the repo again there was no activity. Now I see 2 months ago there were at least some commits.
Potentially useful project, but stalled before it got popular? I would wish it a second chance.
Edit: Downloading and installing random binaries is not something I can promote at my work. Of course a .deb or .rpm is nothing but a binary, but at least in theory (hello xz) you can audit what is built there and rebuild it yourself.