See here. Note: .rom seems to have issues with the libretro atari800 as of 11/13/2021. .atr still work as well as .zip files containing .atr and .xex seem to work for the most part.