Le lundi 29 juin 2020, 17:46:59 CEST Pino Toscano a écrit : > > Aurélien: I have a debian-only repo ready, based on the upload history. > Do I push it, or you prefer a gbp one? Fine with me, please go ahead !