Probabilmente ci pensa l'installazione di Dike.Volevo solo precisare che non ho seguito alcuna procedura per installare i driver del lettore usb INFOCERT, che ho solo inserito in una delle prese usb posteriori del pc.
Comunque
Codice: Seleziona tutto
dpkg -l | grep libminilector
Codice: Seleziona tutto
dpkg -i 2008_10_09_libminilector38u-bit4id.deb