Alors, je ne sais pas si le fil de discussion visé est toujours valide, mais attention tout de même à son âge. Ça remonte à 10 ans cette histoire. Depuis, Debian a adapté sa distrib Arm aux raspberry. Bon, de là à dire qu’on peut brancher un dépôt Debian sur Raspberry OS (comme on le ferait d’un dépôt Ubuntu sur une Debian), je ne sais pas. Ça fait trop longtemps que je me suis éloigné de ces sujets…
Sinon, ça, ça ne fonctionne plus ?