A cada uno de los instaladores existentes —que difieren en detalles sobre lo que se incluye y la forma como se gestiona y se actualiza— se lo llama "distribución".