Can (ha-)prosper in texmf-dist be updated? The HA-prosper currently in TL matches what is on CTAN. I hope that's what needed. I updated it a few days ago, along with a ton of other packages.