CREATE TABLE table_name_35 (name VARCHAR(255), license VARCHAR(255), current_version VARCHAR(255))
What is the Name when the License is gpl and the Current Version is 1.72?
    
SQL: SELECT name FROM table_name_35 WHERE license = "gpl" AND current_version = "1.72"