I don't have the pro version, but there is a Linux zip download, you should be able to use that, extract and run.
The zip download also doesn't run on fedora - or at least it didn't for me. Though someone over at reddit recommended me to just compile tic80 myself for future people looking this up. I switched distro's in the meantime.
Interesting, the non-pro zipped build ran fine for me on Fedora. Good to hear you can compile from source still.
