1name: "lua" 2description: 3 "Lua is a lightweight embeddable scripting language." 4 5third_party { 6 url { 7 type: HOMEPAGE 8 value: "https://www.lua.org/" 9 } 10 url { 11 type: ARCHIVE 12 value: "https://www.lua.org/ftp/lua-5.3.5.tar.gz" 13 } 14 version: "5.3.5" 15 last_upgrade_date { year: 2018 month: 12 day: 5 } 16 license_type: NOTICE 17} 18