Originalmente llamado Cocochillo; en 1934, el año en que pasó a ser Capital de distrito, cambió su nombre por el de Camporredondo.