@brunus @doctormo Oh, ok.Still, the manual route must work? Import the key with apt-key and add a file in sources.list.d?