Forse riesci a ottenere qualche informazione in più dal sito Debian Package Tracker: https://tracker.debian.org/pkg/firmware-nonfree
Anche se dando un'occhiata veloce sembra essere tutto in ordine. Domani proverò a indagare sull'IRC di Debian. -- Matteo Bini
