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: GIT
    value: "https://git.savannah.gnu.org/git/make.git"
  }
  version: "4.3"
  last_upgrade_date { year: 2019 month: 4 day: 6 }
  license_type: RESTRICTED
}