Estoy tratando de descubrir cómo asignar mayor prioridad a un PPA sobre otro PPA. Eché un vistazo a muchas de las respuestas en este foro, pero ninguna de ellas resuelve mi problema. Tenemos dos fuentes de PPA en algunos de nuestros servidores en los que los guardamos en archivos separados...