name: "lua"
description:
    "Lua is a lightweight embeddable scripting language."

third_party {
  url {
    type: HOMEPAGE
    value: "https://www.lua.org/"
  }
  url {
    type: ARCHIVE
    value: "https://www.lua.org/ftp/lua-5.3.5.tar.gz"
  }
  version: "5.3.5"
  last_upgrade_date { year: 2018 month: 12 day: 5 }
  license_type: NOTICE
}