I have created a binary deb file for Sonic Pi 3.3.1 specifically for Ubuntu 20.04 (amd64) . It may well work on closely related Linux OS, but this has not been tested.
Like the Raspberry Pi installation, it is built assuming that pulseaudio is installed (as is the case for a standard Ubuntu 20.04 desktop install), and by default will use this for selecting the output audio path, using the Ubuntu sound tab in the settings module. However the internal workings of Sonic Pi remain based on Jack, and, provided that you select a sound output device that is NOT currently the default pulseaudio output device, you can start Jack using the QjackCtl interface, and configure your device for optimum sample rate, and latency, and use it as for previous versions if you need better performance.
I have tested the installation fairly throughly on a virtual Ubuntu machine, and it has worked well.
Some release notes are included with the download. Please read them before use, particularly noting the need to add your ubuntu username to the audio group as detailed.
I upgraded to Debian 11 (Bullseye, amd64) some days ago and had trouble with the Debian standard version 3.2.2 (broken with_merged_sample_defaults function) and tried out your package for version 3.3.1 of Sonic-Pi. It installed and worked like a charm on this setup. Nice to know that it can also run with pulseaudio. Can be neat in some situations. I combine it with qjackctl and use jackd for the audiostuff which runs very good and allows me to put other audio tools in line if needed (eq10q sometimes).
In the projects I have tested so far, Sonic-Pi 3.3.1 seems to have better performance (lesser cpu utilization) than older versions. Nice job Sam
So, all in all, a big thank you to you Robin and also to you Sam. Hope, you are doing well in these current times.
Cu