十七年春正月，姜维还成都。大赦。夏六月，维复率众出陇西。冬，拔狄道、河关、临洮县民，居于绵竹、繁县。