I've seen similar circumstances in various linux repositories. The cores often come as separate packages and many are missing. So basically, you have to hand edit the config file to turn on the core Downloader and point it at the proper libretro url.