name: "Ninja"
description: "A small build system."

third_party {
  url {
    type: HOMEPAGE
    value: "https://ninja-build.org/"
  }
  url {
    type: ARCHIVE
    value: "https://github.com/ninja-build/ninja/releases/download/v1.8.2/ninja-linux.zip"
  }
  version: "1.8.2"
  last_upgrade_date { year: 2018 month: 8 day: 3 }
  license_type: NOTICE
}