Hai ragione! :P Ci avevo pensato subito dopo aver postato però ho pensato che aprire un terzo post consecutivo poteva essere mal visto dalla community... ^^''
Allora, in pratica era una sciocchezza: fortunatamente avevo ancora il pacchetto sul desktop e ho potuto copiare il nome del file nella shell facendo un:
Da ricordare di evitare di scrivere anche l'estensione del pacchetto; in questo caso era
.rpm ed il gioco è fatto!
Il punto è che, se non avessi avuto il pacchetto ancora sul desktop, non avrei saputo come fare per cercare il suo nome preciso... Ecco magari su questo puoi/potete dirmi tu/voi qualcosa...
Chiedo scusa per non aver postato la risposta prima. ^^''