I've seen people speculate about that, but I haven't seen anything official and there is no release or mention of it on WFAA's website this evening about a deal. I think the judge would have to approve the filing from each party (DSG and the Mavs) before the Mavs could sign a deal elsewhere and announce it.
I'm just not sure how a deal with WFAA works without causing a problem with ABC over network programming preemptions.
Parent Tegna signed a OTA deal with the NHL's Seattle Kraken this summer to move their games over the air. Tegna owns NBC affiliate KING-TV 5 and independent KONG 16 there. KING-TV will air a few games; the bulk will be on KONG. The big TV networks do not want their affiliates regularly pre-empting their prime time shows, which is why KONG will get the bulk of them.
In New Orleans, the contract with Fox affiliate WVUE 8 is to put the bulk of the games on WVUE 8.2, its Bounce TV subchannel, which does have cable carriage. Again, to not anger Fox by preempting programming regularly. Bounce has some viewership...to the point Scripps is weighing options from parties interested in buying it.
For WFAA, where do the games go? None of the WFAA 8.x subchannels have wide cable carriage or viewership. Tegna does own another station in the market, but unlike KONG, it is Estrella TV KMPX. I'm not clear how much it programs it -- Tegna bought it in order to eventually swap the licenses to get WFAA off the VHF band onto the better (for digital signal propagation) UHF band. Once KMPX is moved to digital 8 spectrum, Estrella has the right to purchase KMPX back.