As reported to the FAA. Reports are unverified, and codes are left as the FAA publishes them.
What was found
AT FL 2500 WITH ONE PACK RUNNING, CABIN STARTED TO CLIMB, DIVERTED INTO DFW. MAINTENANCE IN PROGRESS. RT PACK ON PREVIOUS MCO. RT PACK REPLACED ACM. CKS GOOD. LT PACK REPLACED 35 DEGREE SENSOR AND 35 DEGREE CONTROLLER. PRESSURIZED A/C USING BOTH PACKS, CKS GOOD.