Hi dev. deb [trusted=yes] is not a secure way to install/use a deb repository Also, it's obsolète with Debian 13 and non compliant to deb822 format. Please, provide a key to the repo. Regards.