Nous avons subi une coupure du service debian-fr.org suite à une panne chez l’hébergeur OVH:
travaux.ovh.net/?do=details&id=9224
