Cómo verificar software en Linux