I don't have any MIDI file for it.I did find an MP3 for it if you're interested at Sheena Philips. They also mention something called Duan Nollaig but all it says is "Traditional Gaelic Christmas Carol".
There is another song which is Christmas oriented but is not a carol.