Dá uma olhada nesse projeto aqui, tem uma lista bem grande de feriados municipais, estaduais e nacionais.

Acho que não tem nada de oficial, mas de repente, você pode entender como ele garimpou esses dados.