I would put it on a trickle charger for several days. Bringing a totally dead battery back very slowly is the key. It can't hurt. Yes, the deep discharge probably took some life out of the battery, but even if its a couple of years old you might still get a lot of life out of it with a slow initial recharge. IME what REALLY hurts a battery isn't the deep discharge, its getting a jumpstart and letting the alternator cram 150 amps into it for the first few seconds, over 100 amps for a couple of minutes, then 50-80 amps for the next 10 minutes, then 30 amps for a few hours. Back when cars had 30-amp generators that was less of a problem.
A "smart" charger like this one can also work wonders for bringing an aging battery back to life: