[delineator]

Robin Newman has just released today a Sonic Pi 3.2.2 deb file for Ubuntu 20.04, see: https://twitter.com/rbnman/status/1257673599755915265

He notes this deb will NOT be suitable for Ubuntu 18.04.