CREATE TABLE table_name_93 (platform VARCHAR, name VARCHAR, system VARCHAR, license VARCHAR)

What platform is nds4droid on for the nintendo ds with a license of gpl v2?
SELECT platform FROM table_name_93 WHERE system = "nintendo ds" AND license = "gpl v2" AND name = "nds4droid"
SELECT "platform" FROM "table_name_93" WHERE "gpl v2" = "license" AND "name" = "nds4droid" AND "nintendo ds" = "system"