Une relance sur ce sujet : j’ai avancé sur la compatibilité Raspberry Pi et en particulier sur ffmpeg, qui fonctionne maintenant très bien. On est donc à parité en terme de fonctionnalité avec toutes les autres versions à priori.
Je suis en train de “builder” un deb en ce moment même, ça prend (très) longtemps mais je devrai pouvoir le mettre en ligne sous peu.