I am very sorry, but back in the day I just took some random music from common source websites without noting of where I took them : O
I picked the music pretty early in development, and did not think it would matter in the long run.
The only thing I could offer you are the music files on their own. Just add me on discord, if you want them.