En réponse à Spirio.

Ah, merci de la précision !

Alors non, malheureusement, c'est carrément hors de nos compétences de maintenir des packages RPM/Debian 😅 Quand à Docker, nous n'utilisons qu'exceptionnellement cette technologie.

Bref, je partage l'utilité importante que des personnes s'en occupent, mais d'une part on n'est pas les plus compétent⋅es pour le faire, et d'autre part nos missions actuelles nous prennent déjà 120% de notre temps :-/