Extensão .pma

Hellow!

Acabei de baixar uns arquivos de msx do ftp://ftp.funet.fi e tem vários
arquivos no meio com a extensão .pma

ALLguém da lista por gentileza poderia me explicar o que é isso?? Alguém
já viu esse tipo de arquivo?

-- 
[ ]'s
Antonio Carlos
Webmaster SpliceNet
Sua ligação com o Mundo