name: "GNU Make"
description:
  "GNU Make is a tool which controls the generation of executables and"
  "other non-source files of a program from the program's source files."

third_party {
  url {
    type: HOMEPAGE
    value: "https://www.gnu.org/software/make"
  }
  url {
    type: ARCHIVE
    value: "https://ftp.gnu.org/gnu/make/make-4.3.tar.gz"
  }
  version: "4.3"
  last_upgrade_date { year: 2021 month: 11 day: 24 }
  license_type: RESTRICTED
}