Campoverde District is one of the seven districts within the province of Coronel Portillo in Peru.