Hello,I have installed and used STM32cubeIDE 1.15.1 on some workstations, and I want to replicate exactly this development environment on a new workstation.In the downloads page, this version 1.15.1 is no longer available for Linux Debian.Where can I...