Si la especificación de un paquete contiene la especificación de un