link Use isso para converter o packakge.
Existe um bom programa para iniciantes no terminal Linux - CLICompanion - terminal com dicas e dicionário. É distribuído apenas com pacotes deb. Eu só estou querendo saber se há pacote rpm para este programa?