Something from the power supply did indeed smoke, but I later discovered that the polarity was reversed, which is what caused the problem.
It worked brilliantly the last few days, no problem at all. This morning however, any voltage going to the VIN pin turns on the Arduino, but the green light is really dim, as if it's not getting enough juice. Could this be a symptom of the earlier issue? Powered by USB, it works just fine.