Even though you may find *.ds.gba files for really old homebrew programs, these are not in fact converted GBA files. They are simply standard DS files with a very small special header attached to them, so that they can be run from old GBA-era flash carts using a slot-1 passthrough device. The flashing software would refuse to flash it if it didn't end in .gba, so they came up with that naming convention.